diff --git a/infer/src/pulse/Pulse.ml b/infer/src/pulse/Pulse.ml
index 00cfa14b0..2dcfadf6a 100644
--- a/infer/src/pulse/Pulse.ml
+++ b/infer/src/pulse/Pulse.ml
@@ -351,4 +351,4 @@ let checker ({InterproceduralAnalysis.proc_desc} as analysis_data) =
       None
 
 
-let () = Sledge.Timer.enabled := Config.sledge_timers
+let () = NS.Timer.enabled := Config.sledge_timers
diff --git a/sledge/nonstdlib/NS.ml b/sledge/nonstdlib/NS.ml
index ccb6f2b78..465992211 100644
--- a/sledge/nonstdlib/NS.ml
+++ b/sledge/nonstdlib/NS.ml
@@ -148,3 +148,5 @@ module Z = struct
 
   include Z
 end
+
+module Timer = Timer
diff --git a/sledge/nonstdlib/NS.mli b/sledge/nonstdlib/NS.mli
index baec24e6d..569943eef 100644
--- a/sledge/nonstdlib/NS.mli
+++ b/sledge/nonstdlib/NS.mli
@@ -128,3 +128,5 @@ module Z : sig
   val is_true : t -> bool
   val is_false : t -> bool
 end
+
+module Timer = Timer
diff --git a/sledge/src/timer.ml b/sledge/nonstdlib/timer.ml
similarity index 99%
rename from sledge/src/timer.ml
rename to sledge/nonstdlib/timer.ml
index 4f32ea7d4..30d4c9099 100644
--- a/sledge/src/timer.ml
+++ b/sledge/nonstdlib/timer.ml
@@ -7,6 +7,8 @@
 
 (** Timers for runtime statistics *)
 
+open NS0
+
 type t =
   { mutable ustart: float
   ; mutable sstart: float
diff --git a/sledge/src/timer.mli b/sledge/nonstdlib/timer.mli
similarity index 100%
rename from sledge/src/timer.mli
rename to sledge/nonstdlib/timer.mli