fix

JasonZhongZexin · Sep 11, 2023 · 8a40c0d · 8a40c0d
1 parent f75671d
commit 8a40c0d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/svf/include/WPA/VersionedFlowSensitive.h b/svf/include/WPA/VersionedFlowSensitive.h
@@ -181,13 +181,13 @@ class VersionedFlowSensitive : public FlowSensitive
     /// Dumps maps consume and yield.
     void dumpLocVersionMaps(void) const;
 
-    void solveAndwritePtsToFile(const std::string& filename);
+    void solveAndwritePtsToFile(const std::string& filename) override;
 
     void writeVersionedAnalysisResultToFile(const std::string& filename);
 
     void readVersionedAnalysisResultFromFile(std::ifstream& F);
 
-    void readPtsFromFile(const std::string& filename);
+    void readPtsFromFile(const std::string& filename) override;
 
     /// Dumps a MeldVersion to stdout.
     static void dumpMeldVersion(MeldVersion &v);