Merge branch 'main' into register-builtins-scoping

anoma · Aug 20, 2024 · 2186464 · 2186464
2 parents f863107 + 7df1e00
commit 2186464
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
@@ -923,6 +923,8 @@ goModule onlyTypes infoTable Internal.Module {..} =
           "let",
           "list",
           "nat",
+          "O",
+          "OO",
           "of",
           "option",
           "theory",