Ignore:
Timestamp:
Mar 6, 2013, 3:48:19 PM (7 years ago)
Author:
campbell
Message:

Some changes to the driver to aid debugging.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightPrinter.ml

    r2787 r2789  
    462462  | Init_float64 n -> fprintf p "%F,@ " n*)
    463463  | Init_space n -> fprintf p "/* skip %ld, */@ " (Int32.of_int (int_of_matitanat n))
    464   | Init_null _ -> fprintf p "0,@ "
     464  | Init_null -> fprintf p "0,@ "
    465465  | Init_addrof(symb, ofs) ->
    466466      let symb = nameof symb in
     
    477477  | Init_float64 n -> fprintf p "%F" n*)
    478478  | Init_space n -> fprintf p "/* skip %ld */" (Int32.of_int (int_of_matitanat n))
    479   | Init_null _ -> fprintf p "0"
     479  | Init_null -> fprintf p "0"
    480480  | Init_addrof(symb, ofs) ->
    481481      let symb = nameof symb in
Note: See TracChangeset for help on using the changeset viewer.