Remove trailing whitespace (PR #1430)

goblint · May 27, 2024 · c5a6d5b · c5a6d5b
1 parent 2eb0440
commit c5a6d5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomain/value/cdomains/mval.ml b/src/cdomain/value/cdomains/mval.ml
@@ -41,7 +41,7 @@ end
 module MakeLattice (Offs: Offset.Lattice): Lattice with type idx = Offs.idx =
 struct
   include MakePrintable (Offs)
-  
+
   let top_indices (x, o) = (x, Offs.top_indices o)
 
   let semantic_equal (x, xoffs) (y, yoffs) =