Changeset 430

Timestamp:

Dec 15, 2010, 5:42:27 PM (11 years ago)

Author:

mulligan

Message:

• ToMatita? now generates a list of labelled_instructions (used to be a list of instructions)

File:

• Deliverables/D4.1/ToMatita.ml (modified) (1 diff)

Deliverables/D4.1/ToMatita.ml

@@ -10 +10 @@
   let rec aux status pc =
     let instr, pc', cost = ASMInterpret.fetch status.ASMInterpret.code_memory pc in
-      print_string $ (pp_matita_instruction instr);
+      print_string $ ("Instruction (" ^ pp_matita_instruction instr ^ ")");
       if int_of_vect pc' <= 200 then (* DPM: hardcoded on a case-by-case basis *)
        begin