model: drop public get_current_node() interface

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index f4961d80cfd70d31ff041c88b747cbc6794ab0da..3d1385596751c1ba13fd7016c8df2690921962d1 100644 (file)
--- a/model.h
+++ b/model.h
@@ -104,7 +104,6 @@ public:
        void assert_user_bug(const char *msg);
 
        const model_params params;
-       Node * get_curr_node() const;
        void add_trace_analysis(TraceAnalysis *a) {
                trace_analyses->push_back(a);
        }