--- rpl/src/rpltypes.h	2010/01/27 22:22:17	1.2
+++ rpl/src/rpltypes.h	2012/12/18 13:19:40	1.37
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.10
-  Copyright (C) 1989-2010 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.12
+  Copyright (C) 1989-2012 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -35,7 +35,7 @@
 --------------------------------------------------------------------------------
 */
 
-#		include "rplconfig.h"
+#	include "rplconfig.h"
 
 	/*
 	 * Entiers