diff options
Diffstat (limited to 'unused-module.patch')
-rw-r--r-- | unused-module.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/unused-module.patch b/unused-module.patch new file mode 100644 index 000000000000..7723e783b0b7 --- /dev/null +++ b/unused-module.patch @@ -0,0 +1,12 @@ +diff -urb pfff-0.29.sic/lang_bytecode/parsing/test_parsing_bytecode.ml pfff-0.29/lang_bytecode/parsing/test_parsing_bytecode.ml +--- pfff-0.29.sic/lang_bytecode/parsing/test_parsing_bytecode.ml 2015-03-03 19:52:16.000000000 +0100 ++++ pfff-0.29/lang_bytecode/parsing/test_parsing_bytecode.ml 2016-11-15 17:20:37.833563042 +0100 +@@ -11,8 +11,6 @@ + *) + open Common + +-module PI = Parse_info +- + (*****************************************************************************) + (* Subsystem testing *) + (*****************************************************************************) |