Minor bug fix: instead of relying on the initialization
[charm.git] / src / libs / ck-libs / tcharm / tcharm_impl.h
index 3ee39bdcf98a1cb7777c2035fca0978b9c5ee6ea..70353674c9ed762caf604c8baea86cd3269c0cf8 100644 (file)
@@ -33,6 +33,8 @@ public:
        // Fill out the default thread options:
        TCHARM_Thread_options(int doDefault);
        TCHARM_Thread_options() {}
+
+       void sanityCheck(void);
 };
 
 class TCharmInitMsg : public CMessage_TCharmInitMsg {