From d3893a93a48e1f47d5175f7a3649f58f86c8f5ca Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 28 Sep 2007 12:06:07 +0000
Subject: Oubli dans Setoid.v

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10150 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Setoids/Setoid.v | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'theories/Setoids')

diff --git a/theories/Setoids/Setoid.v b/theories/Setoids/Setoid.v
index da999dfe7..18e8b6e77 100644
--- a/theories/Setoids/Setoid.v
+++ b/theories/Setoids/Setoid.v
@@ -9,6 +9,8 @@
 
 (*i $Id$: i*)
 
+Set Implicit Arguments.
+
 Require Export Setoid_tac.
 Require Export Setoid_Prop.
 
-- 
cgit v1.2.3