===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.11
retrieving revision 1.15
diff -u -p -r1.11 -r1.15
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2000/12/13 10:54:09	1.11
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2001/08/06 01:48:32	1.15
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.10 2000/12/08 08:26:08 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.14 2001/07/04 07:19:19 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -64,7 +64,13 @@ extern int do_message;
 extern int ox_batch,ox_check,ox_exchange_mathcap;
 extern int f4_nocheck;
 extern int fortran_output;
+extern int real_digit;
+#if defined(INTERVAL)
+extern int zerorewrite;
+#endif
 extern int double_output;
+extern int use_new_hensel;
+extern int print_quote;
 
 static struct {
 	char *key;
@@ -88,7 +94,13 @@ static struct {
 	{"ox_exchange_mathcap",&ox_exchange_mathcap},
 	{"f4_nocheck",&f4_nocheck},
 	{"double_output",&double_output},
+	{"real_digit",&real_digit},
 	{"fortran_output",&fortran_output},
+	{"new_hensel",&use_new_hensel},
+	{"print_quote",&print_quote},
+#if defined(INTERVAL)
+	{"zerorewrite",&zerorewrite},
+#endif
 	{0,0},
 };