diff --git a/examples/tutorial/ex3.4-fib-model-revisted.ucl b/examples/tutorial/ex3.4-fib-model-revisted.ucl
deleted file mode 100644
index 00b961c50..000000000
--- a/examples/tutorial/ex3.4-fib-model-revisted.ucl
+++ /dev/null
@@ -1,24 +0,0 @@
-module main {
-  // System description.
-  var a, b : int;
-
-  init {
-    havoc a;
-    havoc b;
-    // embedded assumptions.
-    assume (a <= b);
-    assume (a >= 0 && b >= 0);
-  }
-  next {
-    a, b = b, a + b;
-    // embedded assertion.
-    assert (a <= b);
-  }
-
-  // Proof script.
-  control {
-    unroll (3);
-    check;
-    print_results;
-  }
-}