From f7533d47eb3fa14831ad4c05b98c0ecd87713b2e Mon Sep 17 00:00:00 2001
From: rudy <rudy.sicard@gmail.com>
Date: Thu, 22 Dec 2022 09:37:26 +0100
Subject: [PATCH] fix: --force-encoding crt

---
 compiler/src/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/src/main.cpp b/compiler/src/main.cpp
index 5930cea49..1a0f30327 100644
--- a/compiler/src/main.cpp
+++ b/compiler/src/main.cpp
@@ -246,7 +246,7 @@ llvm::cl::opt<concrete_optimizer::Encoding> optimizerEncoding(
                                 "Pick the best [default]")),
     llvm::cl::values(clEnumValN(concrete_optimizer::Encoding::Native, "native",
                                 "native")),
-    llvm::cl::values(clEnumValN(concrete_optimizer::Encoding::Native, "crt",
+    llvm::cl::values(clEnumValN(concrete_optimizer::Encoding::Crt, "crt",
                                 "Chineese Reminder Theorem representation")));
 
 llvm::cl::opt<bool> optimizerNoCacheOnDisk(