]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove an unused header. 997/head
authorDavid Wells <drwells@vt.edu>
Mon, 8 Jun 2015 12:24:33 +0000 (08:24 -0400)
committerDavid Wells <drwells@vt.edu>
Mon, 8 Jun 2015 12:25:29 +0000 (08:25 -0400)
include/deal.II/lac/constraint_matrix.h

index 9ebe629e3ebe8bb0a3734e2cad7a8fdf6495ae70..c42b67265b3b2f3ee39a71c72490bea71f469ad7 100644 (file)
@@ -32,8 +32,6 @@
 #include <utility>
 #include <complex>
 
-#include <boost/scoped_ptr.hpp>
-
 
 DEAL_II_NAMESPACE_OPEN
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.