From a911f938427ec88618b6b1507ac3929616c770f7 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Tue, 8 Sep 2020 08:41:13 +0200
Subject: Minor fixes

---
 slides/preplogic-slides.toc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'slides/preplogic-slides.toc')

diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
index 80170ac..1dc8678 100644
--- a/slides/preplogic-slides.toc
+++ b/slides/preplogic-slides.toc
@@ -2,4 +2,4 @@
 \beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
 \beamer@sectionintoc {3}{Implication}{28}{0}{3}
 \beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
-\beamer@sectionintoc {5}{Proofs}{46}{0}{5}
+\beamer@sectionintoc {5}{Proofs}{47}{0}{5}
-- 
cgit v1.3