# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1339279123 -3600
# Node ID e28b47911c193c7939ef7f31d323adc1bf27b9d4
# Parent  c353bc67bf910a3b8210abf5616fc48622d14d72
remove incorrect include file.

diff -r c353bc67bf91 -r e28b47911c19 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Sat Jun 09 22:55:29 2012 +0100
+++ b/stage3/constant_folding.cc	Sat Jun 09 22:58:43 2012 +0100
@@ -122,7 +122,6 @@
 
 #include "constant_folding.hh"
 #include <limits>
-#include <stdint.h> /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */
 #include <math.h> /* required for pow function */
 #include <stdlib.h> /* required for malloc() */