1 files changed, 14 insertions, 0 deletions
diff --git a/build/dump b/build/dump
new file mode 100644
index 0000000..0de7569
--- /dev/null
+++ b/build/dump
@@ -0,0 +1,14 @@
+// file      : build/dump -*- C++ -*-
+// copyright : Copyright (c) 2014-2015 Code Synthesis Tools CC
+// license   : MIT; see accompanying LICENSE file
+
+#ifndef BUILD_DUMP
+#define BUILD_DUMP
+
+namespace build
+{
+  void
+  dump_scopes ();
+}
+
+#endif // BUILD_DUMP