diff --git a/Manual/doc_tex/Use_of_Stl/circulator_prog1.C b/Manual/doc_tex/Use_of_Stl/circulator_prog1.C
deleted file mode 100644
index 08cac43d785..00000000000
--- a/Manual/doc_tex/Use_of_Stl/circulator_prog1.C
+++ /dev/null
@@ -1,29 +0,0 @@
-// circulator_prog1.C
-// ------------------------
-#include <CGAL/basic.h>
-#include <cassert>
-#include <vector>
-#include <algorithm>
-#include <CGAL/circulator.h>
-
-typedef  std::vector<int>::iterator                  I;
-typedef  CGAL::Circulator_from_iterator<I>           Circulator;
-typedef  CGAL::Container_from_circulator<Circulator> Container;
-typedef  Container::iterator                         Iterator;
-
-int main() {
-    std::vector<int> v;
-    v.push_back(5);
-    v.push_back(2);
-    v.push_back(9);
-    Circulator c( v.begin(), v.end());
-    Container  container( c);
-    std::sort( container.begin(), container.end());
-    Iterator i = container.begin();
-    assert( *i == 2);
-    i++;    assert( *i == 5);
-    i++;    assert( *i == 9);
-    i++;    assert(  i == container.end());
-    return 0;
-}
-
diff --git a/Manual/doc_tex/Use_of_Stl/circulator_prog2.C b/Manual/doc_tex/Use_of_Stl/circulator_prog2.C
deleted file mode 100644
index fb297fb028b..00000000000
--- a/Manual/doc_tex/Use_of_Stl/circulator_prog2.C
+++ /dev/null
@@ -1,29 +0,0 @@
-
-// circulator_prog2.C
-// ------------------------
-#include <CGAL/basic.h>
-#include <cassert>
-#include <vector>
-#include <algorithm>
-#include <CGAL/circulator.h>
-
-typedef CGAL::Circulator_from_container< std::vector<int> >  Circulator;
-typedef CGAL::Container_from_circulator<Circulator>          Container;
-typedef Container::iterator                                  Iterator;
-
-int main() {
-    std::vector<int> v;
-    v.push_back(5);
-    v.push_back(2);
-    v.push_back(9);
-    Circulator c( &v);
-    Container  container( c);
-    std::sort( container.begin(), container.end());
-    Iterator i = container.begin();
-    assert( *i == 2);
-    i++;    assert( *i == 5);
-    i++;    assert( *i == 9);
-    i++;    assert(  i == container.end());
-    return 0;
-}
-