1.1 --- a/src/Tools/isac/ProgLang/Tools.thy	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Tools.thy	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4  		Const ("op |",_) $ _ $ _ => get (ls @ [o1]) o2
     1.5  	      | _ => ls @ [o1, o2] 
     1.6      in (((list2isalist bool) o (get [])) ors)
     1.7 -       handle _ => raise error ("or2list: no ORs= "^(term2str ors)) end
     1.8 +       handle _ => error ("or2list: no ORs= "^(term2str ors)) end
     1.9  	);
    1.10  (*>val t = HOLogic.true_const;
    1.11  > val t' = or2list t;