diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 667f43e2f6d58c7be9d2c99de70aa8ea0429d7ee..414ffd093bc6d97869f12487cdee68c9f7742c6b 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -332,6 +332,13 @@ PLUGIN_HEADER_EXCEPTIONS:=
 # and dedicated to distributed tests
 PLUGIN_DISTRIB_TESTS:= $(EACSL_DISTRIB_TESTS)
 
+########
+# Misc #
+########
+
+wc:
+	ocamlwc -p $(EACSL_OCAML_FILES)
+
 ##########
 # Header #
 ##########