From 5a754170ca3113295a1bd58f407a2e40e05cc3ff Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 27 Dec 2011 13:15:11 +0000 Subject: Typo --- coq/ex/test-cases/retract-completely-asserted/a.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/ex') diff --git a/coq/ex/test-cases/retract-completely-asserted/a.v b/coq/ex/test-cases/retract-completely-asserted/a.v index ea9a099d..65e7b13c 100644 --- a/coq/ex/test-cases/retract-completely-asserted/a.v +++ b/coq/ex/test-cases/retract-completely-asserted/a.v @@ -1,4 +1,4 @@ -(* The following defines the absolut name a.a *) +(* The following defines the absolute name a.a *) Definition a := 0. \ No newline at end of file -- cgit v1.2.3