fixed command line

[cdsspec-compiler.git] / correctness-model / writeup / technical.tex

diff --git a/correctness-model/writeup/technical.tex b/correctness-model/writeup/technical.tex
deleted file mode 100644 (file)
index 674e37c..0000000
--- a/correctness-model/writeup/technical.tex
+++ /dev/null
@@ -1 +0,0 @@
-\section{Technical}\label{sec:technical}