# HG changeset patch
# User Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
# Date 1403535986 -7200
# Node ID a51c09492e30b87422eb588e6669a64c265f7cfc
# Parent  568aff85dfa979649319b3447f8f2881f217ac30
Remove a not needed header from feval.cc

diff -r 568aff85dfa9 -r a51c09492e30 src/feval.cc
--- a/src/feval.cc	Mon Jun 23 16:34:16 2014 +0200
+++ b/src/feval.cc	Mon Jun 23 17:06:26 2014 +0200
@@ -17,7 +17,6 @@
 
 #include "function.h"
 #include <stdexcept>
-#include <sstream>
 
 DEFUN_DLD (feval, args, , "-*- texinfo -*-\n\
 @deftypefn {Function File} {[@var{value}]} = \