fixed command line

[cdsspec-compiler.git] / correctness-model / note.txt

diff --git a/correctness-model/note.txt b/correctness-model/note.txt
deleted file mode 100644 (file)
index 2e7daa7..0000000
--- a/correctness-model/note.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-2-phase: read (plan) write
-
-redesign of data structures for HTM