slides/slides09.tex
changeset 871 94b84d880c2b
parent 864 b5b1bc0a603b
child 901 33cff35bdc1a
--- a/slides/slides09.tex	Mon Jan 24 00:14:02 2022 +0000
+++ b/slides/slides09.tex	Tue Mar 22 00:36:18 2022 +0000
@@ -3,7 +3,7 @@
 \usepackage{../slides}
 \usepackage{../langs}
 \usepackage{../data}
-\usepackage{../graphics}
+\usepackage{../graphicss}
 \usepackage{../grammar}
 \usepackage{soul}
 \usepackage{mathpartir}