From 8a3eb3ac6f0c36b879f457cc27ad0e087c5d5b4b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 3 Mar 2008 12:59:08 +0000 Subject: [PATCH] Minor compilation fixes (Kostas Oikonomou) (Solaris?). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@581 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/SimulatorEngine.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/src/simulator/SimulatorEngine.cc b/prism/src/simulator/SimulatorEngine.cc index 83fda1e3..1e852436 100644 --- a/prism/src/simulator/SimulatorEngine.cc +++ b/prism/src/simulator/SimulatorEngine.cc @@ -213,6 +213,7 @@ JNIEXPORT jint JNICALL Java_simulator_SimulatorEngine_allocatePath cout << str << endl; return simulator_SimulatorEngine_ERROR; } + return 0; } @@ -229,7 +230,8 @@ JNIEXPORT jint JNICALL Java_simulator_SimulatorEngine_startPath { cout << str << endl; return simulator_SimulatorEngine_ERROR; - } + } + return 0; }