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_simp.ML
changeset 63160 80a91e0e236e
parent 63156 3cb84e4469a7
child 63164 72aaf69328fc 
--- a/src/Tools/Code/code_simp.ML	Thu May 26 15:27:50 2016 +0200
+++ b/src/Tools/Code/code_simp.ML	Thu May 26 15:27:50 2016 +0200
@@ -95,7 +95,7 @@
 
 fun static_conv { ctxt, simpset, consts } =
   Code_Thingol.static_conv_isa { ctxt = ctxt, consts = consts }
-    (K oo rewrite_modulo ctxt simpset);
+    (fn program => K o rewrite_modulo ctxt simpset program);
 
 fun static_tac { ctxt, simpset, consts } =
   let
isabelle