From 0e1a5ca35da8f342fa2335f783624f751d336bd6 Mon Sep 17 00:00:00 2001 From: Daniel Poetzl Date: Tue, 29 Jan 2019 15:33:53 +0000 Subject: [PATCH] Add file module_dependencies.txt to memory-analyzer --- src/memory-analyzer/module_dependencies.txt | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 src/memory-analyzer/module_dependencies.txt diff --git a/src/memory-analyzer/module_dependencies.txt b/src/memory-analyzer/module_dependencies.txt new file mode 100644 index 0000000000..a7a95a1321 --- /dev/null +++ b/src/memory-analyzer/module_dependencies.txt @@ -0,0 +1,2 @@ +goto-programs +util