1.1 --- a/src/Tools/isac/ProgLang/scrtools.sml	Mon Sep 06 16:56:22 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/scrtools.sml	Mon Sep 06 17:07:28 2010 +0200
     1.3 @@ -256,7 +256,7 @@
     1.4    | subst_stacexpr E a v t = 
     1.5      (a, Expr (subst_atomic (case a of SOME a => upd_env E (a,v) 
     1.6  				| NONE => E) t));
     1.7 -(*> val t = str2term "SubProblem(Test_, [linear, univariate, equation, test], [Test, solve_linear]) [bool_ e_, real_ v_]";
     1.8 +(*> val t = str2term "SubProblem(Test_, [linear, univariate, equation, test], [Test, solve_linear]) [BOOL e_, REAL v_]";
     1.9  > subst_stacexpr [] NONE e_term t;*)
    1.10  
    1.11