summaryrefslogtreecommitdiffstats
path: root/asmrun/misc.h
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 17:09:30 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 17:09:30 +0000
commit71d0a1a1816220a2f0b26593ce9acebff6f600d0 (patch)
tree8e14d898eb93c3003cad7e6201985ee2ceb72b19 /asmrun/misc.h
parent1b3923e514ab9ccc028d5ee53b0c24026fa4e17d (diff)
dead files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmrun/misc.h')
-rw-r--r--asmrun/misc.h5
1 files changed, 0 insertions, 5 deletions
diff --git a/asmrun/misc.h b/asmrun/misc.h
deleted file mode 100644
index edead293c..000000000
--- a/asmrun/misc.h
+++ /dev/null
@@ -1,5 +0,0 @@
-#ifdef DEBUG
-#define Assert(x) if(!(x)) failed_assert(__FILE__, __LINE__)
-#else
-#define Assert(x)
-#endif