diff options
Diffstat (limited to 'src/theory/ee_manager.h')
-rw-r--r-- | src/theory/ee_manager.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/ee_manager.h b/src/theory/ee_manager.h index 3c82e43de..aa4bcc66c 100644 --- a/src/theory/ee_manager.h +++ b/src/theory/ee_manager.h @@ -66,7 +66,8 @@ class EqEngineManager * This method is context-independent, and is applied once during * the lifetime of TheoryEngine (during finishInit). */ - virtual void initializeModel(TheoryModel* m) = 0; + virtual void initializeModel(TheoryModel* m, + eq::EqualityEngineNotify* notify) = 0; /** * Get the equality engine theory information for theory with the given id. */ |