src/Pure/raw_simplifier.ML

--- a/src/Pure/raw_simplifier.ML	Tue May 20 20:05:50 2025 +0200
+++ b/src/Pure/raw_simplifier.ML	Wed May 21 10:30:06 2025 +0200
@@ -1575,5 +1575,5 @@
 
 end;
 
-structure Basic_Meta_Simplifier: BASIC_RAW_SIMPLIFIER = Raw_Simplifier;
-open Basic_Meta_Simplifier;
+structure Basic_Raw_Simplifier: BASIC_RAW_SIMPLIFIER = Raw_Simplifier;
+open Basic_Raw_Simplifier;