From 7df1e002353030e1b0b12d64749d32a0ba845fc9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Mon, 19 Aug 2024 18:39:08 +0200
Subject: [PATCH] Isabelle/HOL translation: add 'O' and 'OO' to reversed names
 (#2961)

As requested by Jonathan, adds 'O' and 'OO' to the list reserved
Isabelle/HOL names.
---
 src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
index 61ae8f7b6c..9ed35142d5 100644
--- 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",