src/Pure/System/build.ML
changeset 48731 a45ba78abcc1
parent 48681 181b91e1d1c1
child 48734 af91cd2301ba
--- a/src/Pure/System/build.ML	Wed Aug 08 12:13:34 2012 +0200
+++ b/src/Pure/System/build.ML	Wed Aug 08 12:33:40 2012 +0200
@@ -6,7 +6,7 @@
 
 signature BUILD =
 sig
-  val build: string -> 'a
+  val build: string -> unit
 end;
 
 structure Build: BUILD =