diff --git a/compiler/obc/c/cgen.ml b/compiler/obc/c/cgen.ml
index cb4e65d..9831cb8 100644
--- a/compiler/obc/c/cgen.ml
+++ b/compiler/obc/c/cgen.ml
@@ -504,10 +504,6 @@ let rec cstm_of_act var_env obj_env act =
         let outvl = clhss_of_lhss var_env outvl in
         generate_function_call var_env obj_env outvl objn args
 
-    | Acall(_, o, Mmethod s, _) ->
-        let on = obj_ref_name o in
-        let obj = assoc_obj on obj_env in
-          Error.message obj.o_loc (Error.Eunknown_method s)
 
 and cstm_of_act_list var_env obj_env b =
   let l = List.map cvar_of_vd b.b_locals in
diff --git a/compiler/obc/obc.ml b/compiler/obc/obc.ml
index efe8a3a..9dd83de 100644
--- a/compiler/obc/obc.ml
+++ b/compiler/obc/obc.ml
@@ -61,7 +61,6 @@ type obj_ref =
 type method_name =
   | Mreset
   | Mstep
-  | Mmethod of name
 
 type act =
   | Aassgn of pattern * exp
diff --git a/compiler/obc/obc_printer.ml b/compiler/obc/obc_printer.ml
index 724e12a..8738572 100644
--- a/compiler/obc/obc_printer.ml
+++ b/compiler/obc/obc_printer.ml
@@ -74,7 +74,6 @@ let print_obj_call ff = function
 let print_method_name ff = function
   | Mstep -> fprintf ff "step"
   | Mreset -> fprintf ff "reset"
-  | Mmethod n -> fprintf ff "%s" n
 
 let rec print_act ff a =
   let print_lhs_tuple ff var_list = match var_list with
@@ -122,7 +121,6 @@ and print_tag_act_list ff tag_act_list =
 let print_method_name ff = function
   | Mreset -> fprintf ff "reset"
   | Mstep -> fprintf ff "step"
-  | Mmethod n -> fprintf ff "%s" n
 
 let print_arg_list ff var_list =
   fprintf ff "(@[%a@])" (print_list_r print_vd "" "," "") var_list