From 208a0f7bfa5249f9795e6e225f309cbe715c0fad Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Tue, 21 Nov 2006 21:38:49 +0000
Subject: Imported Upstream version 8.1~gamma

---
 test-suite/success/NatRing.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test-suite/success/NatRing.v')

diff --git a/test-suite/success/NatRing.v b/test-suite/success/NatRing.v
index 8426c7e4..22d021d5 100644
--- a/test-suite/success/NatRing.v
+++ b/test-suite/success/NatRing.v
@@ -1,10 +1,10 @@
 Require Import ArithRing.
 
 Lemma l1 : 2 = 1 + 1.
-ring_nat.
+ring.
 Qed.
 
 Lemma l2 : forall x : nat, S (S x) = 1 + S x.
 intro.
-ring_nat.
+ring.
 Qed.
-- 
cgit v1.2.3