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/HOL/Statespace/state_space.ML
changeset 33222 89ced80833ac
parent 32966 5b21661fe618
child 33457 0fc03a81c27c 
--- a/src/HOL/Statespace/state_space.ML	Tue Oct 27 13:15:04 2009 +0100
+++ b/src/HOL/Statespace/state_space.ML	Tue Oct 27 13:15:20 2009 +0100
@@ -297,7 +297,7 @@
 
           val tt' = tt |> fold upd all_names;
           val activate_simproc =
-              Output.no_warnings_CRITICAL
+              Output.no_warnings_CRITICAL   (* FIXME !?! *)
                (Simplifier.map_ss (fn ss => ss addsimprocs [distinct_simproc]));
           val ctxt' =
               ctxt
isabelle