X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=bee2-selectmap%2F.svn%2Fprop-base%2Fmain_counterexample_map0.v.svn-base;fp=bee2-selectmap%2F.svn%2Fprop-base%2Fmain_counterexample_map0.v.svn-base;h=4a83b70fb662761217f16260fa590215417b1fe7;hb=3d1e9b6ed214e780d02cb7693423c0d1ecb0cfc6;hp=0000000000000000000000000000000000000000;hpb=7e45bc4adf44a4dd870cbadb466de8413f282d6e;p=fleet.git

diff --git a/bee2-selectmap/.svn/prop-base/main_counterexample_map0.v.svn-base b/bee2-selectmap/.svn/prop-base/main_counterexample_map0.v.svn-base
new file mode 100644
index 0000000..4a83b70
--- /dev/null
+++ b/bee2-selectmap/.svn/prop-base/main_counterexample_map0.v.svn-base
@@ -0,0 +1,9 @@
+K 13
+svn:eol-style
+V 6
+native
+K 13
+svn:mime-type
+V 10
+text/plain
+END