--- rpl/src/rpltypes.h	2011/06/21 15:26:35	1.20
+++ rpl/src/rpltypes.h	2011/07/25 07:45:00	1.26
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.0.prerelease.2
+  RPL/2 (R) version 4.1.2
   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