diff --git a/Makefile b/Makefile
index 62bafdd3bb43a7e0a7fa3e8a11dcbe0022da8294..bac0522ef27913111c14406ee95ce0ef405587b9 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@
 ### we have two auxiliary Makefiles, one for each side of the front-end.
 ### We define here general targets that will operate on both sides.
 
-FCLANG_VERSION=0.0.12
+FCLANG_VERSION=0.0.13
 
 PLUGIN_DIR ?= .