Index: configure
===================================================================
--- configure	(revision 1db2c5be186b17e66fbf9cdd4a6bffc6987810de)
+++ configure	(revision ad17ba6a8a138b346278ade9cfca43fa9e7c84e1)
@@ -5000,5 +5000,5 @@
 
 
-ac_config_files="$ac_config_files Makefile translator/Makefile driver/Makefile libcfa/Makefile"
+ac_config_files="$ac_config_files Makefile translator/Makefile driver/Makefile libcfa/Makefile translator/examples/Makefile"
 
 cat >confcache <<\_ACEOF
@@ -5741,4 +5741,5 @@
     "driver/Makefile") CONFIG_FILES="$CONFIG_FILES driver/Makefile" ;;
     "libcfa/Makefile") CONFIG_FILES="$CONFIG_FILES libcfa/Makefile" ;;
+    "translator/examples/Makefile") CONFIG_FILES="$CONFIG_FILES translator/examples/Makefile" ;;
 
   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
@@ -6471,4 +6472,4 @@
 
 
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: The CForAll translator is now configured for your system" >&5
-$as_echo "The CForAll translator is now configured for your system" >&6; }
+{ $as_echo "$as_me:${as_lineno-$LINENO}: result: The Cforall translator is now configured for your system" >&5
+$as_echo "The Cforall translator is now configured for your system" >&6; }