src/HOL/UNITY/ROOT.ML
changeset 28529 7ff939586e83
parent 24147 edc90be09ac1
child 28866 30cd9d89a0fb
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Wed Oct 08 18:09:36 2008 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Wed Oct 08 19:20:29 2008 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4  
     1.5  (*Allocator example*)
     1.6  (* FIXME some parts no longer work -- had been commented out for a long time *)
     1.7 -setmp quick_and_dirty true
     1.8 +setmp_noncritical quick_and_dirty true
     1.9    use_thy "Comp/Alloc";
    1.10  
    1.11  use_thys ["Comp/AllocImpl", "Comp/Client"];