Project

General

Profile

Revision bc0691dc src/coalg/coalg.ml

View differences:

src/coalg/coalg.ml
212 212
        let g = Nom2fix.translate f nomTable sorts s true in
213 213
        let str = CoAlgFormula.exportFormula g in
214 214
        incr counter;
215
        (*print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");*)
215
        print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
216 216
        flush stdout;
217 217
      else ()
218 218
    done
......
261 261
        let g = Nom2fix.translate f nomTable sorts s true in
262 262
        let str = CoAlgFormula.exportFormula g in
263 263
        incr counter;
264
        (*print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");*)
264
        print_string("\nFormula " ^ (string_of_int !counter) ^ ": ");
265 265
        printRes (CoAlgReasoner.isSat ~verbose:verb opts.fragment sorts nomTable tbox (s,g));
266 266
        flush stdout;
267 267
      else ()

Also available in: Unified diff