From d4cf91b36dc5432622329132d9dbbd158879ca87 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 15 Jun 2018 16:41:43 +0200
Subject: [PATCH] New interesting example

---
 ocaml/problems/simple.evil2 | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ocaml/problems/simple.evil2 b/ocaml/problems/simple.evil2
index 6bff977..eb0b5bc 100644
--- a/ocaml/problems/simple.evil2
+++ b/ocaml/problems/simple.evil2
@@ -1,3 +1,8 @@
+$! stepping on useless arg for special_k++
+D x x1
+C x (x. x1) r
+C x v
+
 $! the measure of the divergent is not sufficient
 D x y
 C x (y a)
-- 
2.39.2