diff options
| author | Guillaume Melquiond | 2013-12-03 14:22:25 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2013-12-03 14:22:25 +0100 |
| commit | aca9c227772e3765833605866ac413e61a98d04a (patch) | |
| tree | bb83f43b1ebf846f32429fbcdebd782bf843c51c /doc/refman/Setoid.tex | |
| parent | e0ff9328c51cec3bd65d4893af5da5c9f8ba2570 (diff) | |
Silence some warning about references in documentation.
Diffstat (limited to 'doc/refman/Setoid.tex')
| -rw-r--r-- | doc/refman/Setoid.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/Setoid.tex b/doc/refman/Setoid.tex index 8a293ea2bf..55915189ce 100644 --- a/doc/refman/Setoid.tex +++ b/doc/refman/Setoid.tex @@ -2,7 +2,7 @@ \achapter{\protect{Generalized rewriting}} \aauthor{Matthieu Sozeau} -\label{setoid_replace} +\label{setoids} This chapter presents the extension of several equality related tactics to work over user-defined structures (called setoids) that are equipped |