diff --git a/src/passes/1-parser/pascaligo/AST.ml b/src/passes/1-parser/pascaligo/AST.ml
index 214daaafe..8a95555eb 100644
--- a/src/passes/1-parser/pascaligo/AST.ml
+++ b/src/passes/1-parser/pascaligo/AST.ml
@@ -408,7 +408,6 @@ and lhs =
 
 and rhs =
       Expr of expr
-| NoneExpr of c_None
 
 and loop =
   While of while_loop reg
@@ -760,7 +759,6 @@ let lhs_to_region : lhs -> Region.t = function
 
 let rhs_to_region = function
       Expr e -> expr_to_region e
-| NoneExpr r -> r
 
 let selection_to_region = function
   FieldName {region; _}
diff --git a/src/passes/1-parser/pascaligo/AST.mli b/src/passes/1-parser/pascaligo/AST.mli
index 15e7e9883..f3a22e743 100644
--- a/src/passes/1-parser/pascaligo/AST.mli
+++ b/src/passes/1-parser/pascaligo/AST.mli
@@ -392,7 +392,6 @@ and lhs =
 
 and rhs =
       Expr of expr
-| NoneExpr of c_None
 
 and loop =
   While of while_loop reg
diff --git a/src/passes/1-parser/pascaligo/ParserLog.ml b/src/passes/1-parser/pascaligo/ParserLog.ml
index 4c8223aab..b6e9d651f 100644
--- a/src/passes/1-parser/pascaligo/ParserLog.ml
+++ b/src/passes/1-parser/pascaligo/ParserLog.ml
@@ -311,7 +311,6 @@ and print_assignment {value; _} =
 
 and print_rhs = function
       Expr e -> print_expr e
-| NoneExpr r -> print_token r "None"
 
 and print_lhs = function
   Path path -> print_path path
diff --git a/src/passes/2-simplify/pascaligo.ml b/src/passes/2-simplify/pascaligo.ml
index ddb3d7bd8..f536a409a 100644
--- a/src/passes/2-simplify/pascaligo.ml
+++ b/src/passes/2-simplify/pascaligo.ml
@@ -782,7 +782,6 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu
       let (a , loc) = r_split a in
       let%bind value_expr = match a.rhs with
         | Expr e -> simpl_expression e
-        | NoneExpr reg -> simpl_expression (EConstr (NoneExpr reg))
       in
       match a.lhs with
         | Path path -> (