branch | isac-update-Isa09-2 |
changeset 38031 | 460c24a6a6ba |
parent 38012 | f57ddfd09474 |
child 41952 | 0e76e17a430a |
1.1 --- a/src/Tools/isac/Knowledge/Equation.thy Tue Sep 28 08:58:06 2010 +0200 1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy Tue Sep 28 09:06:56 2010 +0200 1.3 @@ -73,7 +73,7 @@ 1.4 ((term_of o the o (parse thy)) "solutions", 1.5 [(term_of o the o (parse thy)) "L"]) 1.6 ] 1.7 - | argl2dtss _ = raise error "Equation.ML: wrong argument for argl2dtss"; 1.8 + | argl2dtss _ = error "Equation.ML: wrong argument for argl2dtss"; 1.9 1.10 castab := 1.11 overwritel (!castab,