--- rpl/src/instructions_m2.c	2010/02/10 10:14:23	1.3
+++ rpl/src/instructions_m2.c	2011/07/25 07:44:57	1.27
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.11
-  Copyright (C) 1989-2010 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.2
+  Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -20,7 +20,7 @@
 */
 
 
-#include "rpl.conv.h"
+#include "rpl-conv.h"
 
 
 /*
@@ -82,14 +82,14 @@ instruction_max(struct_processus *s_etat
 		printf("->  2: %s, %s, %s\n", d_INT, d_REL, d_CPL);
 		printf("    1: %s\n\n", d_LST);
 
-		printf("    2: %s, %s, %s\n", d_INT, d_REL, d_CPL);
-		printf("    1: %s, %s, %s\n", d_INT, d_REL, d_CPL);
-		printf("->  1: %s, %s, %s\n\n", d_INT, d_REL, d_CPL);
-
-		printf("    2: %s, %s, %s, %s, %s, %s\n",
-				d_INT, d_REL, d_CPL, d_NOM, d_ALG, d_RPN);
-		printf("    1: %s, %s, %s, %s, %s, %s\n",
-				d_INT, d_REL, d_CPL, d_NOM, d_ALG, d_RPN);
+		printf("    2: %s, %s\n", d_INT, d_REL);
+		printf("    1: %s, %s\n", d_INT, d_REL);
+		printf("->  1: %s, %s\n\n", d_INT, d_REL);
+
+		printf("    2: %s, %s, %s, %s, %s\n",
+				d_INT, d_REL, d_NOM, d_ALG, d_RPN);
+		printf("    1: %s, %s, %s, %s, %s\n",
+				d_INT, d_REL, d_NOM, d_ALG, d_RPN);
 		printf("->  1: %s, %s\n", d_ALG, d_RPN);
 
 		return;
@@ -1245,14 +1245,14 @@ instruction_min(struct_processus *s_etat
 		printf("->  2: %s, %s, %s\n", d_INT, d_REL, d_CPL);
 		printf("    1: %s\n\n", d_LST);
 
-		printf("    2: %s, %s, %s\n", d_INT, d_REL, d_CPL);
-		printf("    1: %s, %s, %s\n", d_INT, d_REL, d_CPL);
-		printf("->  1: %s, %s, %s\n\n", d_INT, d_REL, d_CPL);
-
-		printf("    2: %s, %s, %s, %s, %s, %s\n",
-				d_INT, d_REL, d_CPL, d_NOM, d_ALG, d_RPN);
-		printf("    1: %s, %s, %s, %s, %s, %s\n",
-				d_INT, d_REL, d_CPL, d_NOM, d_ALG, d_RPN);
+		printf("    2: %s, %s\n", d_INT, d_REL);
+		printf("    1: %s, %s\n", d_INT, d_REL);
+		printf("->  1: %s, %s\n\n", d_INT, d_REL);
+
+		printf("    2: %s, %s, %s, %s, %s\n",
+				d_INT, d_REL, d_NOM, d_ALG, d_RPN);
+		printf("    1: %s, %s, %s, %s, %s\n",
+				d_INT, d_REL, d_NOM, d_ALG, d_RPN);
 		printf("->  1: %s, %s\n", d_ALG, d_RPN);
 
 		return;