diff -r 7a02202e4577 -r 1d3ef477d9c8 src/Tools/isac/Interpret/inform.sml
--- a/src/Tools/isac/Interpret/inform.sml	Mon Dec 19 10:37:44 2016 +0100
+++ b/src/Tools/isac/Interpret/inform.sml	Wed Dec 21 08:57:47 2016 +0100
@@ -544,7 +544,7 @@
         val p' = lev_on p;
         val tac = get_obj g_tac pt p';
       in 
-        case applicable_in pos pt tac of
+        case Applicable.applicable_in pos pt tac of
           Chead.Notappl msg => (msg, Tac "")
         | Chead.Appl rew =>
             let