src/Tools/Code/code_runtime.ML

--- a/src/Tools/Code/code_runtime.ML	Tue Dec 21 07:45:04 2010 +0100
+++ b/src/Tools/Code/code_runtime.ML	Tue Dec 21 08:40:39 2010 +0100
@@ -95,7 +95,7 @@
     val _ = if Code_Thingol.contains_dict_var t then
       error "Term to be evaluated contains free dictionaries" else ();
     val v' = Name.variant (map fst vs) "a";
-    val vs' = (v', []) :: vs
+    val vs' = (v', []) :: vs;
     val ty' = Code_Thingol.fun_tyco `%% [ITyVar v', ty];
     val value_name = "Value.value.value"
     val program' = program