update version number and configure.

CHANGES

 This file is a brief description of changes in this new release of ARC.
 Details can be found in the ChangeLog file.
 
+arc 1.4.3:
+  Bugs fixed:
+    . fix memory leak in symbolic to_dot
+
 arc 1.4.2:
   Bugs fixed:
     . fix missing domain constraint for enums in FD analysis

configure.ac

@@ -4,7 +4,7 @@ dnl used by clients.
 dnl
 
 AC_PREREQ(2.59)
-AC_INIT(arc, 1.4.2, altarica-bugs.labri@listes.u-bordeaux1.fr)
+AC_INIT(arc, 1.4.3, altarica-bugs.labri@listes.u-bordeaux1.fr)
 
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([foreign])