1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Mon Dec 19 10:37:44 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Wed Dec 21 08:57:47 2016 +0100
     1.3 @@ -84,7 +84,7 @@
     1.4      let
     1.5        val (mI, m) = mk_tac'_ tac;
     1.6      in
     1.7 -      case applicable_in p pt m of
     1.8 +      case Applicable.applicable_in p pt m of
     1.9  	      Chead.Notappl _ => ("not-applicable", ([],[],  ptp): Chead.calcstate')
    1.10  	    | Chead.Appl m =>
    1.11  	      let