Typos

goblint · Apr 17, 2024 · 6e17641 · 6e17641
1 parent 35427ae
commit 6e17641
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/util/precCompareUtil.ml b/src/util/precCompareUtil.ml
@@ -28,10 +28,10 @@ sig
   (** Module for the result hash map *)
   module RH : Hashtbl.S with type key = Key.t
 
-  (** Type to which the result hashmap is actually convered before storing it to disc *)
+  (** Type to which the result hashmap is actually converted before storing it to disc *)
   type marshal
 
-  (** Wrapper of marhshal type, together with a name for the analysis + privatization combination *)
+  (** Wrapper of marshal type, together with a name for the analysis + privatization combination *)
   type dump = marshal dump_gen
 
   (** Type of the actually usable result. To be obtained from the dump via the unmarshal function below  *)