From 16724e920f89076d2ebc493cd21f1afd641bacb7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 9 Oct 2007 09:08:19 +0000 Subject: [PATCH] Compilation fix: Explict casting on logtwo function. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@443 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/PrismHybridGlob.h | 2 +- prism/include/PrismSparseGlob.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/include/PrismHybridGlob.h b/prism/include/PrismHybridGlob.h index 5ea94c3c..3d8e173c 100644 --- a/prism/include/PrismHybridGlob.h +++ b/prism/include/PrismHybridGlob.h @@ -83,7 +83,7 @@ extern double last_unif; // macros, function prototypes -#define logtwo(X) log(X)/log(2) +#define logtwo(X) log((double)X)/log(2.0) void PH_PrintToMainLog(JNIEnv *env, char *str, ...); void PH_PrintToTechLog(JNIEnv *env, char *str, ...); void PH_SetErrorMessage(char *str, ...); diff --git a/prism/include/PrismSparseGlob.h b/prism/include/PrismSparseGlob.h index 668f0f7c..d020182b 100644 --- a/prism/include/PrismSparseGlob.h +++ b/prism/include/PrismSparseGlob.h @@ -81,7 +81,7 @@ extern JNIEnv *export_env; // macros, function prototypes -#define logtwo(X) log(X)/log(2) +#define logtwo(X) log((double)X)/log(2.0) void PS_PrintToMainLog(JNIEnv *env, char *str, ...); void PS_PrintToTechLog(JNIEnv *env, char *str, ...); void PS_SetErrorMessage(char *str, ...);