Pass ddecls in when creating a SInfo

shingarov · Oct 9, 2024 · 8803e6b · 8803e6b
1 parent 5fe3ddb
commit 8803e6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Refinements/SInfo.class.st b/src/Refinements/SInfo.class.st
@@ -445,7 +445,7 @@ SInfo >> symbolEnv [
 	"BOGUS.  We are implementing as little as we can get away with, for now."
 	xts := self symbolSorts "++ alits".
 	sEnv := SEnv newFromAssociations: xts. "++ theorySymbols ddecls tsSort"
-	^SymEnv xEnv: sEnv fEnv: #bogus ds: #bogus ls: #bogus  ts: #bogus
+	^SymEnv xEnv: sEnv fEnv: #bogus ds: ddecls ls: #bogus  ts: #bogus
 ]
 
 { #category : #'as yet unclassified' }