Project

General

Profile

Revision f4cba4b8 src/utils/utils.ml

View differences:

src/utils/utils.ml
427 427
  (* in *)
428 428
  Format.flush_str_formatter ()
429 429

  
430
(* Local Variables: *)
431
(* compile-command:"make -C .." *)
432
(* End: *)
430

  
431
                           
432
                           (* Local Variables: *)
433
                           (* compile-command:"make -C .." *)
434
                           (* End: *)
435
                           

Also available in: Unified diff