summarylogtreecommitdiffstats
path: root/fix-ounit-name.diff
diff options
context:
space:
mode:
Diffstat (limited to 'fix-ounit-name.diff')
-rw-r--r--fix-ounit-name.diff10
1 files changed, 0 insertions, 10 deletions
diff --git a/fix-ounit-name.diff b/fix-ounit-name.diff
deleted file mode 100644
index 658cd8b33cbf..000000000000
--- a/fix-ounit-name.diff
+++ /dev/null
@@ -1,10 +0,0 @@
-diff --git a/test/dune b/test/dune
-index 38ebc4e..eecfe54 100644
---- a/test/dune
-+++ b/test/dune
-@@ -6,4 +6,4 @@
- (test
- (name test)
- (modules test)
-- (libraries fileutils fileutils_str oUnit stdlib-shims))
-+ (libraries fileutils fileutils_str ounit2 stdlib-shims))