Parent Directory
| 
Revision Log
| 
Patch
| revision 19 by abate, Tue Jul 10 16:58:37 2007 UTC | revision 20 by abate, Tue Jul 10 16:58:41 2007 UTC | |
|---|---|---|
| # | Line 278 | Line 278 |
| 278 | List.for_all aux (get_record c) | List.for_all aux (get_record c) |
| 279 | ||
| 280 | let is_empty d = | let is_empty d = |
| 281 | let old = !memo in | |
| 282 | let r = empty_rec d in | let r = empty_rec d in |
| 283 | memo := Assumptions.empty; | if not r then memo := old; |
| 284 | cache_false := Assumptions.empty; | (* cache_false := Assumptions.empty; *) |
| 285 | r | r |
| 286 | ||
| 287 | let non_empty d = | let non_empty d = |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |