diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2018-10-31 16:11:21 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2018-10-31 16:11:21 -0500 |
commit | 3e4d948f50b46b0f4cf9ecb581ad5efb61d6933d (patch) | |
tree | 7c8965c52a838728ccb9de339c45e7831b95c02d /examples/Makefile | |
parent | 92dfe34ca1537391328f441ecb8e86f41f55edd4 (diff) | |
parent | 6a89ff6d106a012442f0ab3b212dc3d26a758da3 (diff) |
Merge branch 'master' of https://github.com/CVC4/CVC4 into extRewBv
Diffstat (limited to 'examples/Makefile')
-rw-r--r-- | examples/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/examples/Makefile b/examples/Makefile deleted file mode 100644 index 3db5bc0ac..000000000 --- a/examples/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -topdir = .. -srcdir = examples - -include $(topdir)/Makefile.subdir |