testing smaller interval

anmolsahoo25 · Jan 15, 2020 · 907eadb · 907eadb
1 parent 7d9b84e
commit 907eadb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/asmcomp/polling.ml b/asmcomp/polling.ml
@@ -16,7 +16,7 @@ open Mach
 open Clflags
 
 (* constants *)
-let lmax = 500
+let lmax = 175
 let k = 6
 let e = lmax/k
 (* let r = lmax/k *)