remove unused cruft

diff --git a/includes/Storage.h b/includes/Storage.h
index e541082..5d3e773 100644 (file)
--- a/includes/Storage.h
+++ b/includes/Storage.h
@@ -239,7 +239,6 @@ extern void GarbageCollect(rtsBool force_major_gc, nat gc_type, Capability *cap)
  */
 #if defined(THREADED_RTS)
 extern Mutex sm_mutex;
-extern Mutex atomic_modify_mutvar_mutex;
 #endif
 
 #if defined(THREADED_RTS)