Improve formatting

1 files changed, 5 insertions, 5 deletions

diff --git a/tests/coq/hashmap_on_disk/HashmapMain__Opaque.v b/tests/coq/hashmap_on_disk/HashmapMain__Opaque.v
index f41c3ddf..4b6db927 100644
--- a/tests/coq/hashmap_on_disk/HashmapMain__Opaque.v
+++ b/tests/coq/hashmap_on_disk/HashmapMain__Opaque.v
@@ -4,18 +4,18 @@ Require Import Primitives.
 Import Primitives.
 Require Import Coq.ZArith.ZArith.
 Local Open Scope Primitives_scope.
-Require Export HashmapMain__Types .
-Import HashmapMain__Types .
-Module HashmapMain__Opaque .
+Require Export HashmapMain__Types.
+Import HashmapMain__Types.
+Module HashmapMain__Opaque.
 
 (** [hashmap_main::hashmap_utils::deserialize] *)
 Axiom hashmap_utils_deserialize_fwd
   : state -> result (state * (Hashmap_hash_map_t u64))
-  .
+.
 
 (** [hashmap_main::hashmap_utils::serialize] *)
 Axiom hashmap_utils_serialize_fwd
   : Hashmap_hash_map_t u64 -> state -> result (state * unit)
-  .
+.
 
 End HashmapMain__Opaque .