X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=95a4c46c3d88c55ef9a8a5c8a8bdf411ae8ff05d;hb=5aa57e0cb31d64685ad4c0624c1047a4b7e77399;hp=96329445f5ffef58edcd97bc956c4d071dfb8db6;hpb=4af0c6b6072b8a811dabadd2b66df5730dd3be41;p=phd-thesis.git

diff --git a/thesis.tex b/thesis.tex
index 9632944..95a4c46 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -67,8 +67,8 @@
 
 \part[\'Etude --- Domain-Specific Languages]{\'Etude\\[2ex]\smaller{}Domain-Specific Languages}%
 \label{prt:dsl}
-\subfile{dsl/class_deep_embedding}  % Deep embedding with class
-\subfile{dsl/first-class_datatypes} % First-class data types
+\subfile{dsl/class}  % Deep embedding with class
+\subfile{dsl/first} % First-class data types
 
 \part[Oratorio --- Task-Oriented Programming]{Oratorio\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
 \label{prt:top}