diff options
| -rw-r--r-- | coq/ex/test-cases/retract-completely-asserted/a.v | 2 |
1 files changed, 1 insertions, 1 deletions
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 |