Changeset 1111


Ignore:
Timestamp:
Aug 24, 2011, 6:47:09 PM (8 years ago)
Author:
mulligan
Message:

minor change: marked some possibly dodgy (and very complex) code

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTLToLIN.ma

    r1110 r1111  
    6363   visit globals g required visited generated l2 n.
    6464
     65(* XXX: look at this.  way too complicated to understand whether it is correct,
     66   in my opinion.
     67*)
    6568let rec visit
    6669  (globals: list ident) (g: ltl_statement_graph globals)
Note: See TracChangeset for help on using the changeset viewer.