From 907eadb3d8253690adb719e7d3d13536d7486f0c Mon Sep 17 00:00:00 2001
From: Anmol Sahoo <anmol.sahoo25@gmail.com>
Date: Wed, 15 Jan 2020 12:55:13 +0530
Subject: [PATCH] testing smaller interval

---
 asmcomp/polling.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/asmcomp/polling.ml b/asmcomp/polling.ml
index 445801d9e60f..887dce857aeb 100644
--- 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 *)