use RTS_VAR()
authorSimon Marlow <simonmarhaskell@gmail.com>
Wed, 16 Apr 2008 21:52:45 +0000 (21:52 +0000)
committerSimon Marlow <simonmarhaskell@gmail.com>
Wed, 16 Apr 2008 21:52:45 +0000 (21:52 +0000)
includes/Storage.h

index 32d4e9b..d109a17 100644 (file)
@@ -121,7 +121,7 @@ extern generation * RTS_VAR(g0);
 extern step * RTS_VAR(g0s0);
 extern generation * RTS_VAR(oldest_gen);
 extern step * RTS_VAR(all_steps);
-extern nat total_steps;
+extern nat RTS_VAR(total_steps);
 
 /* -----------------------------------------------------------------------------
    Initialisation / De-initialisation