diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml
index 1b10fcb..bef25dc 100644
--- a/src/ast_to_c.ml
+++ b/src/ast_to_c.ml
@@ -169,7 +169,6 @@ let pp_expression node_name =
     | ETuple _ ->
         Format.fprintf fmt "%a"
           pp_expression_list expression;
-    | EAuto _ -> failwith "todo"
     in
   pp_expression_aux
 
diff --git a/src/passes.ml b/src/passes.ml
index 9e2fdc1..0bbb5e1 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -78,7 +78,6 @@ let pre2vars =
     | EApp   (ty, node, arg) ->
         let arg = pre_push arg in
         EApp (ty, node, arg)
-    | EAuto _ -> failwith "toto"
   in
   let rec aux (expr: t_expression) =
     match expr with
@@ -113,7 +112,6 @@ let pre2vars =
     | EApp   (ty, node, arg) ->
         let arg = aux arg in
         EApp (ty, node, arg)
-    | EAuto _ -> failwith "todo"
   in
   expression_pass (Utils.somify aux)
 
diff --git a/src/utils.ml b/src/utils.ml
index 9ad4f28..0029c14 100644
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -32,7 +32,5 @@ let type_exp : t_expression -> full_ty = function
   | EConst (full_ty , _) -> full_ty
   | ETuple (full_ty , _) -> full_ty
   | EApp   (full_ty , _ , _) -> full_ty
-  | EAuto _ -> raise (MyParsingError ("bloup", Parsing.(symbol_start_pos(),
-  symbol_end_pos())))
 
 let somify f = fun e -> Some (f e)