Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle