1.1 --- a/src/Tools/isac/Frontend/interface.sml	Mon Dec 19 10:37:44 2016 +0100
     1.2 +++ b/src/Tools/isac/Frontend/interface.sml	Wed Dec 21 08:57:47 2016 +0100
     1.3 @@ -337,7 +337,7 @@
     1.4  		      | ("end-of-calculation", _) => message2xml cI "end-of-calculation"
     1.5  		      | ("failure", _) => sysERROR2xml cI "failure"
     1.6  		      | ("not-applicable", _) => (*the rule comes from anywhere..*)
     1.7 -		          (case applicable_in ip pt tac of
     1.8 +		          (case Applicable.applicable_in ip pt tac of
     1.9  		            Chead.Notappl e => message2xml cI ("'" ^ tac2str tac ^ "' not-applicable")
    1.10  	            | Chead.Appl m =>
    1.11  		              let