Changeset 2419 for cobra/trunk/Source/Boxes.cobra
- Timestamp:
- 08/15/10 20:24:54 (22 months ago)
- Files:
-
- 1 modified
-
cobra/trunk/Source/Boxes.cobra (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
cobra/trunk/Source/Boxes.cobra
r2384 r2419 727 727 .compiler.recordError(ne) 728 728 for i in _invariants.count 729 invari = _invariants[i] 730 invari.bindImp 729 invari = _invariants[i].bindImp 731 730 if invari.type is not .compiler.boolType 732 731 _invariants[i] = TruthExpr(invari).bindAll to Expr



