1.1 --- a/src/Tools/isac/Interpret/inform.sml	Mon Dec 19 10:37:44 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Wed Dec 21 08:57:47 2016 +0100
     1.3 @@ -544,7 +544,7 @@
     1.4          val p' = lev_on p;
     1.5          val tac = get_obj g_tac pt p';
     1.6        in 
     1.7 -        case applicable_in pos pt tac of
     1.8 +        case Applicable.applicable_in pos pt tac of
     1.9            Chead.Notappl msg => (msg, Tac "")
    1.10          | Chead.Appl rew =>
    1.11              let