Move tracing_flag into a common directory (#669)

Intended to combine well with #668, so neither is alone.
This commit is contained in:
Jon Meow
2021-07-21 09:57:54 -07:00
committed by GitHub
parent 08a2d44570
commit f3cbfc04c6
12 changed files with 26 additions and 21 deletions
+1 -1
View File
@@ -6,9 +6,9 @@
#include <iostream>
#include "executable_semantics/common/tracing_flag.h"
#include "executable_semantics/syntax/parse_and_lex_context.h"
#include "executable_semantics/syntax/parser.h"
#include "executable_semantics/tracing_flag.h"
extern FILE* yyin;