From d81c76aa02aa0e5647de35f0a5a9e135546007c2 Mon Sep 17 00:00:00 2001
From: Quentin Bourgerie <bourgerie.quentin@gmail.com>
Date: Fri, 10 Mar 2023 12:27:32 +0100
Subject: [PATCH] chore: Fixing compilation error of the python bindings

---
 .../compiler/lib/Bindings/Python/CompilerAPIModule.cpp       | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/compilers/concrete-compiler/compiler/lib/Bindings/Python/CompilerAPIModule.cpp b/compilers/concrete-compiler/compiler/lib/Bindings/Python/CompilerAPIModule.cpp
index d7a0fde88..2cee030b1 100644
--- a/compilers/concrete-compiler/compiler/lib/Bindings/Python/CompilerAPIModule.cpp
+++ b/compilers/concrete-compiler/compiler/lib/Bindings/Python/CompilerAPIModule.cpp
@@ -252,9 +252,8 @@ void mlir::concretelang::python::populateCompilerAPISubmodule(
            [](mlir::concretelang::ClientParameters &clientParameters) {
              std::vector<bool> result;
              for (auto input : clientParameters.inputs) {
-               if (input.encryption.hasValue()) {
-                 result.push_back(
-                     input.encryption.getValue().encoding.isSigned);
+               if (input.encryption.has_value()) {
+                 result.push_back(input.encryption.value().encoding.isSigned);
                } else {
                  result.push_back(true);
                }