From 1a5130702303e2843ab458e2566bef293c6947cd Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 20 Jun 2016 14:28:02 -0400
Subject: parenthesize Ltac [constr:] arguments

---
 Bedrock/Word.v | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'Bedrock')

diff --git a/Bedrock/Word.v b/Bedrock/Word.v
index a33d108fb..8ae651826 100644
--- a/Bedrock/Word.v
+++ b/Bedrock/Word.v
@@ -849,21 +849,21 @@ Implicit Arguments weqb_sound [].
 
 Ltac isWcst w :=
   match eval hnf in w with
-    | WO => constr:true
+    | WO => constr:(true)
     | WS ?b ?w' =>
       match eval hnf in b with
         | true => isWcst w'
         | false => isWcst w'
-        | _ => constr:false
+        | _ => constr:(false)
       end
-    | _ => constr:false
+    | _ => constr:(false)
   end.
 
 Ltac wcst w :=
   let b := isWcst w in
     match b with
       | true => w
-      | _ => constr:NotConstant
+      | _ => constr:(NotConstant)
     end.
 
 (* Here's how you can add a ring for a specific bit-width.
-- 
cgit v1.2.3