diff options
Diffstat (limited to 'doc/faq/FAQ.tex')
-rw-r--r-- | doc/faq/FAQ.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex index 4309926b9..baf3d4991 100644 --- a/doc/faq/FAQ.tex +++ b/doc/faq/FAQ.tex @@ -1983,7 +1983,7 @@ todo \Question{Can you show me an example of a tactic written in OCaml?} -You have some examples of tactics written in Ocaml in the ``contrib'' directory of {\Coq} sources. +You have some examples of tactics written in Ocaml in the ``plugins'' directory of {\Coq} sources. |