Index: driver/as.cc
===================================================================
--- driver/as.cc	(revision 305581dbced29c2fe6bb06909e03de5f7b8a6b9f)
+++ driver/as.cc	(revision 92f413c9a1aee8978b4e7e9789db6ad0d6a086b2)
@@ -10,6 +10,6 @@
 // Created On       : Wed Aug  1 10:49:42 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Aug  2 17:50:09 2018
-// Update Count     : 90
+// Last Modified On : Wed Aug 22 17:30:24 2018
+// Update Count     : 93
 // 
 
@@ -23,4 +23,9 @@
 
 //#define __DEBUG_H__
+
+#ifdef __DEBUG_H__
+#include <iostream>
+using namespace std;
+#endif // __DEBUG_H__
 
 int main( const int argc, const char * argv[] ) {