Merge branch 'master' into startup

[factor.git] / vm / vm.hpp

diff --git a/vm/vm.hpp b/vm/vm.hpp
index 202996ce2624a1dad3c6b80773e0e2da6390d7b5..c1c6014eea9aaab7b5ebfc7e03e88b587fa08a8d 100755 (executable)
--- a/vm/vm.hpp
+++ b/vm/vm.hpp
@@ -666,6 +666,7 @@ struct factor_vm
        void init_factor(vm_parameters *p);
        void pass_args_to_factor(int argc, vm_char **argv);
        void start_factor(vm_parameters *p);
+       void stop_factor();
        void start_embedded_factor(vm_parameters *p);
        void start_standalone_factor(int argc, vm_char **argv);
        char *factor_eval_string(char *string);