1.1 --- a/src/Tools/isac/Interpret/solve.sml	Mon Dec 19 10:37:44 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Wed Dec 21 08:57:47 2016 +0100
     1.3 @@ -468,7 +468,7 @@
     1.4     get_form ((mI,m):tac'_) ((p,p_):pos') ppp;
     1.5     *)
     1.6  fun get_form ((mI,m):tac'_) ((p,p_):pos') pt = 
     1.7 -  case applicable_in (p,p_) pt m of
     1.8 +  case Applicable.applicable_in (p,p_) pt m of
     1.9      Chead.Notappl e => Generate.Error' e
    1.10    | Chead.Appl m => 
    1.11        (* val Appl m=applicable_in (p,p_) pt m;