diff --git a/configure.in b/configure.in
index 9401e1b7f..f94c71984 100644
--- a/configure.in
+++ b/configure.in
@@ -50,7 +50,7 @@ AC_ARG_WITH(gmp,
 		yap_cv_gmp=$with_gmp
 		LDFLAGS="$LDFLAGS -L${yap_cv_gmp}/lib"
 		CPPFLAGS="$CPPFLAGS -I${yap_cv_gmp}/include"
-	fi
+	fi,
 	[yap_cv_gmp=yes])
 
 AC_ARG_WITH(readline,