More work towards freeing old ModelActions

[c11tester.git] / predicate.h

diff --git a/predicate.h b/predicate.h
index 8b1e7c8172ccbf97ec99d71e9f45133d609bfd86..8afc24be0839ff5da5c11e05a1b0c910a7fa1133 100644 (file)
--- a/predicate.h
+++ b/predicate.h
@@ -28,7 +28,7 @@ public:
        void set_weight(double weight_) { weight = weight_; }
        void copy_predicate_expr(Predicate * other);
 
-       Predicate * get_single_child(FuncInst * inst);
+       Predicate * follow_write_child(FuncInst * inst);
        ModelVector<Predicate *> * get_children() { return &children; }
        Predicate * get_parent() { return parent; }
        Predicate * get_exit() { return exit; }