Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/XL happy;
authorwenzelm
Tue, 29 Aug 2000 12:28:48 +0200
changeset 9720 3b7b72db57f1
parent 9719 c753196599f9
child 9721 7e51c9f3d5a0
made SML/XL happy;
src/Provers/simplifier.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/simplifier.ML	Tue Aug 29 12:08:20 2000 +0200
+++ b/src/Provers/simplifier.ML	Tue Aug 29 12:28:48 2000 +0200
@@ -504,7 +504,7 @@
   Scan.succeed asm_full_simp_tac);
 
 val cong_modifiers =
- [Args.$$$ congN -- Args.colon >> K (I, cong_add_local),
+ [Args.$$$ congN -- Args.colon >> K ((I, cong_add_local):Method.modifier),
   Args.$$$ congN -- Args.$$$ addN -- Args.colon >> K (I, cong_add_local),
   Args.$$$ congN -- Args.$$$ delN -- Args.colon >> K (I, cong_del_local)];
isabelle