Normalize whitespace

michael-schwarz · sim642 · michael-schwarz · commit ea41437edc6d · 2022-06-10T15:06:24.000+02:00
Co-authored-by: Simmo Saan &lt;simmo.saan@gmail.com&gt;
diff --git a/src/util/wideningThresholds.mli b/src/util/wideningThresholds.mli
@@ -1,6 +1,5 @@
 val thresholds : unit -> Z.t list
 val thresholds_incl_mul2 : unit -> Z.t list
-    
 val exps: Cil.exp list ResettableLazy.t
 
 val reset_lazy : unit -> unit
