diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-07 16:59:59 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-07 17:39:00 -0400 |
| commit | d46b3638e09cd4e6f2c939386d686ed7ac2d8fdb (patch) | |
| tree | c5318dd74f3045c19e1d14de30396671dd74bf0a /src/prop/prop_engine.cpp | |
| parent | b702a70790f37e239c6f8c91bbc0ac107f1a4618 (diff) | |
fix for nonterminating model-based array loop
Diffstat (limited to 'src/prop/prop_engine.cpp')
| -rw-r--r-- | src/prop/prop_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp index c465ed97a..5d6356a5b 100644 --- a/src/prop/prop_engine.cpp +++ b/src/prop/prop_engine.cpp @@ -280,6 +280,7 @@ void PropEngine::interrupt() throw(ModalException) { void PropEngine::spendResource() throw() { // TODO implement me + checkTime(); } bool PropEngine::properExplanation(TNode node, TNode expl) const { |