Ignore:
Timestamp:
Dec 14, 2011, 6:17:53 PM (9 years ago)
Author:
campbell
Message:

Minor updates due to recent changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/sum.test.ma

    r1599 r1618  
    3333@refl
    3434qed.
    35 
     35(*
    3636include "RTLabs/RTLabsToRTL.ma".
    3737include alias "basics/lists/list.ma".
     
    6060[2: check (joint_if_code (prog_var_names … p) ? f) |3: cases daemon  ]
    6161normalize in xxx
    62 
     62*)
Note: See TracChangeset for help on using the changeset viewer.