Skip to content

Commit 7adfd86

Browse files
committed
RequirementMachine: Split off Symbol.cpp and Term.cpp from RewriteSystem.cpp
1 parent 894b1ba commit 7adfd86

File tree

8 files changed

+1358
-1242
lines changed

8 files changed

+1358
-1242
lines changed

lib/AST/CMakeLists.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,8 @@ add_swift_host_library(swiftAST STATIC
8080
RequirementMachine/RewriteContext.cpp
8181
RequirementMachine/RewriteSystem.cpp
8282
RequirementMachine/RewriteSystemCompletion.cpp
83+
RequirementMachine/Symbol.cpp
84+
RequirementMachine/Term.cpp
8385
SILLayout.cpp
8486
Stmt.cpp
8587
SubstitutionMap.cpp

0 commit comments

Comments
 (0)