diff options
Diffstat (limited to 'colm/main.cc')
-rw-r--r-- | colm/main.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/colm/main.cc b/colm/main.cc index eba57960..f73e661e 100644 --- a/colm/main.cc +++ b/colm/main.cc @@ -79,6 +79,7 @@ istream *inStream = 0; ostream *outStream = 0; const char *inputFileName = 0; const char *outputFileName = 0; +const char *intermedFileName = 0; const char *gblExportTo = 0; const char *gblExpImplTo = 0; bool exportCode = false; |