Update tutorial_style.rst

LPCIC · Dec 8, 2023 · 46a8412 · 46a8412
1 parent 7c7abad
commit 46a8412
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/etc/tutorial_style.rst b/etc/tutorial_style.rst
@@ -40,6 +40,9 @@
 .. role:: libtype(elpi-type)
    :src: LPCIC coq-elpi master elpi/coq-lib.elpi
 
+.. role:: libtype-common(elpi-type)
+   :src: LPCIC coq-elpi master elpi/coq-lib-common.elpi
+
 .. role:: stdtype(elpi-type)
    :src: LPCIC coq-elpi master elpi-builtin.elpi