diff --git a/language/oop5/basic.xml b/language/oop5/basic.xml
index 7317295aa5..336f4b3d87 100644
--- a/language/oop5/basic.xml
+++ b/language/oop5/basic.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.11 $ -->
+<!-- $Revision: 1.12 $ -->
 
  <sect1 id="language.oop5.basic">
   <title>The Basics</title>