Changeset 416 for Deliverables


Ignore:
Timestamp:
Dec 13, 2010, 6:38:40 PM (9 years ago)
Author:
campbell
Message:

Fix printing of switch statements as matita terms.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/acc-0.1.spaces.patch

    r292 r416  
    24402440diff --git a/src/clight/clightPrintMatita.ml b/src/clight/clightPrintMatita.ml
    24412441new file mode 100644
    2442 index 0000000..a5e50b8
     2442index 0000000..948ef87
    24432443--- /dev/null
    24442444+++ b/src/clight/clightPrintMatita.ml
     
    27522752+  match cases with
    27532753+  | LSdefault s ->
    2754 +      fprintf p "@[<v 2>LSdefault@ %a@]" print_stmt s
     2754+      fprintf p "@[<v 2>(LSdefault@ %a)@]" print_stmt s
    27552755+  | LScase(lbl, s, rem) ->
    2756 +      fprintf p "@[<v 2>(LScase %d:@ %a@ %a@]"
     2756+      fprintf p "@[<v 2>(LScase (repr %d)@ %a@ %a)@]"
    27572757+              lbl
    27582758+              print_stmt s
Note: See TracChangeset for help on using the changeset viewer.