summaryrefslogtreecommitdiff
path: root/src/synthesis.cc
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2016-12-13 10:13:21 -0500
committerAdrian Thurston <thurston@colm.net>2016-12-13 10:13:55 -0500
commitdc2adb04132daf673a6abaae3c3b7cc0fa570374 (patch)
tree75ff9049119fecce08cd82f6aa2f6332a3bbfed2 /src/synthesis.cc
parent93cb6a1c9ea51335118f9342a93a5c23d7f2f8c9 (diff)
downloadcolm-dc2adb04132daf673a6abaae3c3b7cc0fa570374.tar.gz
an automated include convention improvement from Peter Reijnders
Diffstat (limited to 'src/synthesis.cc')
-rw-r--r--src/synthesis.cc9
1 files changed, 4 insertions, 5 deletions
diff --git a/src/synthesis.cc b/src/synthesis.cc
index bda6aece..7e7d4412 100644
--- a/src/synthesis.cc
+++ b/src/synthesis.cc
@@ -18,13 +18,12 @@
* along with Colm; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
+#include <assert.h>
+#include <stdbool.h>
-#include "bytecode.h"
-#include "compiler.h"
-#include "pdarun.h"
-#include "input.h"
#include <iostream>
-#include <assert.h>
+
+#include "compiler.h"
using std::cout;
using std::cerr;