From 11f9d1843f948ca940e0aab0a3a51dab6de1eb4d Mon Sep 17 00:00:00 2001
From: Sean McLeod <sean@seanmcleod.com>
Date: Sat, 28 Sep 2024 19:33:39 +0200
Subject: [PATCH] Consistency for some FGFDMExec properties

---
 src/FGFDMExec.cpp | 4 ++--
 src/FGFDMExec.h   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/FGFDMExec.cpp b/src/FGFDMExec.cpp
index 347b83a646..d783c385a5 100644
--- a/src/FGFDMExec.cpp
+++ b/src/FGFDMExec.cpp
@@ -168,8 +168,8 @@ FGFDMExec::FGFDMExec(FGPropertyManager* root, std::shared_ptr<unsigned int> fdmc
   instance->Tie("simulation/reset", this, (iPMF)0, &FGFDMExec::ResetToInitialConditions);
   instance->Tie("simulation/disperse", this, &FGFDMExec::GetDisperse);
   instance->Tie("simulation/randomseed", this, (iPMF)&FGFDMExec::SRand, &FGFDMExec::SRand);
-  instance->Tie("simulation/terminate", (int *)&Terminate);
-  instance->Tie("simulation/pause", (int *)&holding);
+  instance->Tie("simulation/terminate", (bool *)&Terminate);
+  instance->Tie("simulation/pause", (bool *)&holding);
   instance->Tie("simulation/sim-time-sec", this, &FGFDMExec::GetSimTime);
   instance->Tie("simulation/dt", this, &FGFDMExec::GetDeltaT);
   instance->Tie("simulation/jsbsim-debug", this, &FGFDMExec::GetDebugLevel, &FGFDMExec::SetDebugLevel);
diff --git a/src/FGFDMExec.h b/src/FGFDMExec.h
index 715a59ed87..964ff722bc 100644
--- a/src/FGFDMExec.h
+++ b/src/FGFDMExec.h
@@ -637,7 +637,7 @@ class JSBSIM_API FGFDMExec : public FGJSBBase
   unsigned int Frame;
   unsigned int IdFDM;
   int disperse;
-  unsigned short Terminate;
+  bool Terminate;
   double dT;
   double saved_dT;
   double sim_time;