1.1 --- a/src/Tools/isac/Knowledge/Simplify.thy	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Simplify.thy	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4       ((term_of o the o (parse thy)) "normalform", 
     1.5        [(term_of o the o (parse thy)) "N"])
     1.6       ]
     1.7 -  | argl2dtss _ = raise error "Simplify.ML: wrong argument for argl2dtss";
     1.8 +  | argl2dtss _ = error "Simplify.ML: wrong argument for argl2dtss";
     1.9  
    1.10  castab := 
    1.11  overwritel (!castab,