diff --git a/Makefile.menhir b/Makefile.menhir
index 7687d3ed6..3b9ff0a9e 100644
--- a/Makefile.menhir
+++ b/Makefile.menhir
@@ -42,11 +42,7 @@ MENHIR_FLAGS = -v --no-stdlib -la 1
 # Using Menhir in --table mode requires MenhirLib.
 
 ifeq ($(MENHIR_TABLE),true)
-  ifeq ($(wildcard $(MENHIR_DIR)/menhirLib.cmxa),)
-    MENHIR_LIBS = menhirLib.cmx
-  else
-    MENHIR_LIBS = menhirLib.cmxa
-  endif
+  MENHIR_LIBS = menhirLib.cmxa
 else
   MENHIR_LIBS =
 endif