Make Solver.interrupt do nothing for Alt-Ergo

Author: hra687261

src/smtml/altergo_mappings.default.ml

@@ -224,8 +224,7 @@ module M = struct
 
       let add_simplifier s = s
 
-      let interrupt _ =
-        Fmt.failwith "Altergo_mappings: interrupt is not implemented"
+      let interrupt _ = ()
 
       let get_statistics _ = Statistics.Map.empty