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 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 optimizerNoCacheOnDisk(