src/Tools/code/code_haskell.ML
changeset 31156 90fed3d4430f
parent 31054 841c9f67f9e7
child 31376 4356b52b03f7
--- a/src/Tools/code/code_haskell.ML	Thu May 14 15:09:47 2009 +0200
+++ b/src/Tools/code/code_haskell.ML	Thu May 14 15:09:48 2009 +0200
@@ -480,7 +480,7 @@
 
 fun add_monad target' raw_c_bind thy =
   let
-    val c_bind = Code_Unit.read_const thy raw_c_bind;
+    val c_bind = Code.read_const thy raw_c_bind;
   in if target = target' then
     thy
     |> Code_Target.add_syntax_const target c_bind