From fce394b642089c3cc7bc1d8ee10560ccb900a50f Mon Sep 17 00:00:00 2001
From: Andreas Zeller <zeller@cispa.de>
Date: Tue, 7 Jan 2025 10:10:48 +0100
Subject: [PATCH] Moved Alhazen out of beta

---
 Chapters.makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Chapters.makefile b/Chapters.makefile
index cfd80493..06ef8237 100644
--- a/Chapters.makefile
+++ b/Chapters.makefile
@@ -59,10 +59,10 @@ ABSTRACTING_PART = \
 	StatisticalDebugger.ipynb \
 	DynamicInvariants.ipynb \
 	DDSetDebugger.ipynb \
+	Alhazen.ipynb \
 	PerformanceDebugger.ipynb
-ABSTRACTING_PART_READY = 
-ABSTRACTING_PART_TODO = \
-	Alhazen.ipynb
+ABSTRACTING_PART_READY =
+ABSTRACTING_PART_TODO =
 
 # Repairing Failures
 REPAIRING_PART = \