diff options
Diffstat (limited to 'src/passes/pass.cpp')
-rw-r--r-- | src/passes/pass.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/passes/pass.cpp b/src/passes/pass.cpp index 2b89371c4..0d47cd78e 100644 --- a/src/passes/pass.cpp +++ b/src/passes/pass.cpp @@ -187,6 +187,9 @@ void PassRegistry::registerPasses() { "information about what content can actually appear in each " "location", createGUFAPass); + registerPass("gufa-cast-all", + "GUFA plus add casts for all inferences", + createGUFACastAllPass); registerPass("gufa-optimizing", "GUFA plus local optimizations in functions we modified", createGUFAOptimizingPass); |