diff options
Diffstat (limited to 'src/smt/process_assertions.h')
-rw-r--r-- | src/smt/process_assertions.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/process_assertions.h b/src/smt/process_assertions.h index 5931899d9..1cd00dfab 100644 --- a/src/smt/process_assertions.h +++ b/src/smt/process_assertions.h @@ -107,7 +107,7 @@ class ProcessAssertions */ unsigned d_simplifyAssertionsDepth; /** Spend resource r by the resource manager of this class. */ - void spendResource(ResourceManager::Resource r); + void spendResource(Resource r); /** * Perform non-clausal simplification of a Node. This involves * Theory implementations, but does NOT involve the SAT solver in |