--- rpl/src/rpltypes.h	2011/04/14 08:46:51	1.15.2.2
+++ rpl/src/rpltypes.h	2011/09/26 15:57:17	1.28
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.23
+  RPL/2 (R) version 4.1.4
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -35,7 +35,7 @@
 --------------------------------------------------------------------------------
 */
 
-#		include "rplconfig.h"
+#	include "rplconfig.h"
 
 	/*
 	 * Entiers