1.1 --- a/src/Tools/isac/Knowledge/RootRat.ML	Thu Aug 26 18:21:14 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RootRat.ML	Fri Aug 27 10:28:44 2010 +0200
     1.3 @@ -29,8 +29,7 @@
     1.4  		[]));
     1.5  
     1.6  ruleset' := overwritelthy thy (!ruleset',
     1.7 -			[("rootrat_erls",rootrat_erls) (*FIXXXME:del with rls.rls'*) 
     1.8 -			 ]);
     1.9 +	     [("rootrat_erls",rootrat_erls) (*FIXXXME:del with rls.rls'*)]);
    1.10  
    1.11  (*.calculate numeral groundterms.*)
    1.12  val calculate_RootRat =