add a data structrue to keep track of the run-time position in the predicate tree...

[c11tester.git] / funcinst.h

diff --git a/funcinst.h b/funcinst.h
index 9aec00f6cc3ae74880c4fc3af6a47cec5df28dd3..95d92ff3e9580921dafd10e324b5d79b51f77d0c 100644 (file)
--- a/funcinst.h
+++ b/funcinst.h
@@ -17,7 +17,7 @@ public:
 
        void * get_location() const { return location; }
        void set_location(void * loc) { location = loc; }
-       void reset_location() { location = NULL; }
+       void unset_location() { location = NULL; }
 
        action_type get_type() const { return type; }
        memory_order get_mo() const { return order; }