--- a/src/Tools/Code/code_target.ML Sun May 26 20:42:43 2013 +0200
+++ b/src/Tools/Code/code_target.ML Sun May 26 21:05:03 2013 +0200
@@ -419,7 +419,7 @@
val value_name = "Value.value.value"
val program = prepared_program
|> Graph.new_node (value_name,
- Code_Thingol.Fun (Term.dummy_patternN, (((vs', ty'), [(([IVar NONE], t), (NONE, true))]), NONE)))
+ Code_Thingol.Fun (@{const_name dummy_pattern}, (((vs', ty'), [(([IVar NONE], t), (NONE, true))]), NONE)))
|> fold (curry (perhaps o try o Graph.add_edge) value_name) consts;
val (program_code, deresolve) = produce (mounted_serializer program);
val value_name' = the (deresolve value_name);