restructure

[phd-thesis.git] / thesis.tex

diff --git a/thesis.tex b/thesis.tex
index 9632944..95a4c46 100644 (file)
--- 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}