add bee2-selectmap, to be dealt with later

[fleet.git] / bee2-selectmap / .svn / prop-base / main_counterexample_map1.v.svn-base

diff --git a/bee2-selectmap/.svn/prop-base/main_counterexample_map1.v.svn-base b/bee2-selectmap/.svn/prop-base/main_counterexample_map1.v.svn-base
new file mode 100644 (file)
index 0000000..4a83b70
--- /dev/null
+++ b/bee2-selectmap/.svn/prop-base/main_counterexample_map1.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