From f28e9b6cea559a94743863ea1b79bd31328b4deb Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Wed, 15 Jun 2022 12:10:06 +0200
Subject: [PATCH] add missing paren...

---
 lib/STM.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/STM.ml b/lib/STM.ml
index 3ea5f577..7fef25d5 100644
--- a/lib/STM.ml
+++ b/lib/STM.ml
@@ -338,7 +338,7 @@ struct
         (map (fun p2' -> (seq,p1,p2')) (Shrink.list_spine p2))
         <+>
         (* Secondly reduce the cmd data of individual list elements *)
-        (shrink_triple_elems triple)
+        (shrink_triple_elems triple))
 
   let arb_cmds_par seq_len par_len =
     let seq_pref_gen = gen_cmds_size Spec.init_state (Gen.int_bound seq_len) in