1.1 --- a/test/Tools/isac/Interpret/mathengine.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/mathengine.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -36,20 +36,20 @@
     1.4  val pp = par_pblobj pt p;
     1.5  val keID = guh2kestoreID guh;
     1.6  case context_pbl keID pt pp of (true,["univariate", "equation"],_,_,_)=>()
     1.7 -| _ => raise error "mathengine.sml: context_pbl .. pbl_equ_univ checked";
     1.8 +| _ => error "mathengine.sml: context_pbl .. pbl_equ_univ checked";
     1.9  
    1.10  case get_obj g_spec pt p of (_, ["e_pblID"], _) => ()
    1.11 -| _ => raise error "mathengine.sml: context_pbl .. pbl still empty";
    1.12 +| _ => error "mathengine.sml: context_pbl .. pbl still empty";
    1.13  setContext 1 pos guh;
    1.14  val ((pt,_),_) = get_calc 1;
    1.15  case get_obj g_spec pt p of (_, ["univariate", "equation"], _) => ()
    1.16 -| _ => raise error "mathengine.sml: context_pbl .. pbl set";
    1.17 +| _ => error "mathengine.sml: context_pbl .. pbl set";
    1.18  
    1.19  
    1.20  setContext 1 pos "met_eq_lin";
    1.21  val ((pt,_),_) = get_calc 1;
    1.22  case get_obj g_spec pt p of (_,  _, ["LinEq", "solve_lineq_equation"]) => ()
    1.23 -| _ => raise error "mathengine.sml: context_pbl .. pbl set";
    1.24 +| _ => error "mathengine.sml: context_pbl .. pbl set";
    1.25  
    1.26  
    1.27  "----------- tryrefine -------------------------------------------";