From e00a65122e9096469bd949bac5da2b820b777888 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Fri, 24 Nov 2023 19:31:00 +0100
Subject: [PATCH] lecture 10

---
 logic2.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/logic2.tex b/logic2.tex
index 1a01e4e..e7a1b7e 100644
--- a/logic2.tex
+++ b/logic2.tex
@@ -33,7 +33,7 @@
 \input{inputs/lecture_07}
 \input{inputs/lecture_08}
 \input{inputs/lecture_09}
-% TODO \input{inputs/lecture_10}
+\input{inputs/lecture_10}
 \input{inputs/lecture_11}