src/Tools/Code/code_simp.ML

 
 
 (* build simpset and conversion from program *)
 
 fun add_stmt (Code_Thingol.Fun (_, ((_, eqs), some_cong))) ss =
-      ss addsimps (map_filter (fst o snd)) eqs addcongs (the_list some_cong)
+      ss addsimps (map_filter (fst o snd)) eqs
+      |> fold Simplifier.add_cong (the_list some_cong)
   | add_stmt (Code_Thingol.Classinst (_, (_, (classparam_instances, _)))) ss =
       ss addsimps (map (fst o snd) classparam_instances)
   | add_stmt _ ss = ss;
 
 val add_program = Graph.fold (add_stmt o fst o snd);