diff options
| -rw-r--r-- | config/list/compiler.lst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index aaa6257c89..816ed4c475 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -96,6 +96,7 @@ transformer/TransMatchPhase.java transformer/UnCurry.java transformer/UnCurryPhase.java +transformer/matching/AlgebraicMatcher.java transformer/matching/Autom2Scala.java transformer/matching/BindingBerrySethi.java transformer/matching/BerrySethi.java |