module P = Printf
module L = Log
-
-let icm = ref 0
+module O = Options
type reductions = {
beta : int;
L.warn (P.sprintf " Local: %7u" r.lrt);
L.warn (P.sprintf " Global: %7u" r.grt);
L.warn (P.sprintf " Sort inclusion: %7u" r.si);
- L.warn (P.sprintf " Relocated nodes (icm): %7u" !icm)
-
-let indexes = ref false
+ L.warn (P.sprintf " Relocated nodes (icm): %7u" !O.icm)