Wiki
Show
Ignore:
Timestamp:
08/15/10 20:24:54 (22 months ago)
Author:
Chuck.Esterbrook
Message:

Fixed: Some invariants cause an internal error.
ticket:248
reported-by:nevdelap

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • cobra/trunk/Source/Boxes.cobra

    r2384 r2419  
    727727                .compiler.recordError(ne) 
    728728        for i in _invariants.count 
    729             invari = _invariants[i] 
    730             invari.bindImp 
     729            invari = _invariants[i].bindImp 
    731730            if invari.type is not .compiler.boolType 
    732731                _invariants[i] = TruthExpr(invari).bindAll to Expr