Moved Alhazen out of beta

uds-se · Jan 7, 2025 · fce394b · fce394b
1 parent 0c99ac9
commit fce394b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 = \