1.1 --- a/src/Tools/isac/Interpret/solve.sml	Wed Dec 14 09:37:01 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Wed Dec 14 10:45:41 2016 +0100
     1.3 @@ -469,7 +469,7 @@
     1.4     *)
     1.5  fun get_form ((mI,m):tac'_) ((p,p_):pos') pt = 
     1.6    case applicable_in (p,p_) pt m of
     1.7 -    Chead.Notappl e => Ctree.Error' (Ctree.Error_ e)
     1.8 +    Chead.Notappl e => Ctree.Error' e
     1.9    | Chead.Appl m => 
    1.10        (* val Appl m=applicable_in (p,p_) pt m;
    1.11           *)