1.1 --- a/src/Tools/isac/Knowledge/Integrate.thy	Wed Feb 14 10:54:53 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Integrate.thy	Wed Feb 14 12:20:35 2018 +0100
     1.3 @@ -322,7 +322,7 @@
     1.4  		   ],
     1.5  	 scr = EmptyScr};
     1.6  
     1.7 -val prep_rls' = prep_rls @{theory};
     1.8 +val prep_rls' = LTool.prep_rls @{theory};
     1.9  *}
    1.10  setup {* KEStore_Elems.add_rlss 
    1.11    [("integration_rules", (Context.theory_name @{theory}, prep_rls' integration_rules)),