1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Sat Mar 19 15:18:10 2011 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Wed Mar 23 17:20:39 2011 +0100
     1.3 @@ -20,6 +20,7 @@
     1.4  "---------------------- 2.5.03: Make_fun_by_new_variable -----------------";
     1.5  
     1.6  
     1.7 +(*=== inhibit exn ?=============================================================
     1.8  
     1.9  
    1.10  
    1.11 @@ -750,3 +751,4 @@
    1.12  
    1.13  
    1.14  
    1.15 +===== inhibit exn ?===========================================================*)