Some int's which should have been CCTK_INTs ... thanks Ryoji

git-svn-id: http://svn.cactuscode.org/flesh/trunk@1685 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 3 insertions, 3 deletions

diff --git a/src/main/SetupCache.c b/src/main/SetupCache.c
index f99a2254..e1d400e3 100644
--- a/src/main/SetupCache.c
+++ b/src/main/SetupCache.c
@@ -50,14 +50,14 @@ int CCTKi_SetupCache(void)
   unsigned long cache_size;
   unsigned long cacheline_bytes;
 
-  manual_cache_setup = (*(int *)CCTK_ParameterGet("manual_cache_setup",
+  manual_cache_setup = (*(CCTK_INT *)CCTK_ParameterGet("manual_cache_setup",
 						  "Cactus",&param_type));
 
   if(manual_cache_setup)
   {
-    cache_size = (*(int *)CCTK_ParameterGet("manual_cache_size",
+    cache_size = (*(CCTK_INT *)CCTK_ParameterGet("manual_cache_size",
 					    "Cactus",&param_type));
-    cacheline_bytes = (*(int *)CCTK_ParameterGet("manual_cacheline_bytes",
+    cacheline_bytes = (*(CCTK_INT *)CCTK_ParameterGet("manual_cacheline_bytes",
 						 "Cactus",&param_type));
   } 
   else