diff options
Diffstat (limited to 'lib/Checker/BasicStore.cpp')
| -rw-r--r-- | lib/Checker/BasicStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/BasicStore.cpp b/lib/Checker/BasicStore.cpp index 5d8be82f3f..2c83ed9687 100644 --- a/lib/Checker/BasicStore.cpp +++ b/lib/Checker/BasicStore.cpp @@ -40,7 +40,7 @@ public: ~BasicStoreManager() {} - SubRegionMap *getSubRegionMap(const GRState *state) { + SubRegionMap *getSubRegionMap(Store store) { return new BasicStoreSubRegionMap(); } |