Introduce FixpointParser which will serve as the common superclass of…

… NNFParser/FQParser
shingarov · Oct 17, 2024 · 8ad1946 · 8ad1946
1 parent 6187ebe
commit 8ad1946
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/Refinements-Parsing/FixpointParser.class.st b/src/Refinements-Parsing/FixpointParser.class.st
@@ -0,0 +1,5 @@
+Class {
+	#name : #FixpointParser,
+	#superclass : #PPCompositeParser,
+	#category : #'Refinements-Parsing'
+}
diff --git a/src/Refinements-Parsing/NNFParser.class.st b/src/Refinements-Parsing/NNFParser.class.st
@@ -1,6 +1,6 @@
 Class {
 	#name : #NNFParser,
-	#superclass : #PPCompositeParser,
+	#superclass : #FixpointParser,
 	#instVars : [
 		'fixpoint',
 		'constraint',