From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 15 Jun 2018 14:41:43 +0000 (+0200)
Subject: New interesting example
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=refs%2Fheads%2Fstrong_simple_measure;p=fireball-separation.git

New interesting example
---

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)