From 69b4b6d7a5889b551f3c412c73faab8199812682 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Thu, 3 Aug 2017 17:09:10 +0200
Subject: [PATCH] Fix the implicit arguments for lattice operations

---
 FiniteSets/lattice.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/FiniteSets/lattice.v b/FiniteSets/lattice.v
index e0c78bb..4500d92 100644
--- a/FiniteSets/lattice.v
+++ b/FiniteSets/lattice.v
@@ -16,8 +16,8 @@ Section binary_operation.
     empty : A.
 End binary_operation.
 
-Arguments max_L {_} _ _.
-Arguments min_L {_} _ _.
+Arguments max_L {_} {_} _.
+Arguments min_L {_} {_} _.
 Arguments empty {_}.
 
 Section Defs.