diff --git a/prism/src/dd/dd.cc b/prism/src/dd/dd.cc index 5ea89e39..9cf2605b 100644 --- a/prism/src/dd/dd.cc +++ b/prism/src/dd/dd.cc @@ -25,7 +25,7 @@ // //============================================================================== -#include +#include // output stream for anything printed by the dd package // (stdout by default) diff --git a/prism/src/dd/dd_basics.cc b/prism/src/dd/dd_basics.cc index da0e9fdc..e02501c1 100644 --- a/prism/src/dd/dd_basics.cc +++ b/prism/src/dd/dd_basics.cc @@ -25,8 +25,8 @@ // //============================================================================== -#include -#include +#include +#include #include #include #include "dd_basics.h" diff --git a/prism/src/dd/dd_export.cc b/prism/src/dd/dd_export.cc index 3980bd7a..2557996b 100644 --- a/prism/src/dd/dd_export.cc +++ b/prism/src/dd/dd_export.cc @@ -26,8 +26,8 @@ // //============================================================================== -#include -#include +#include +#include #include #include #include diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc index 0f06152e..65ef880c 100644 --- a/prism/src/dd/dd_matrix.cc +++ b/prism/src/dd/dd_matrix.cc @@ -25,8 +25,8 @@ // //============================================================================== -#include -#include +#include +#include #include #include #include // for NaN value diff --git a/prism/src/dd/dd_test.cc b/prism/src/dd/dd_test.cc index 9386ddd0..7d51a990 100644 --- a/prism/src/dd/dd_test.cc +++ b/prism/src/dd/dd_test.cc @@ -25,7 +25,7 @@ // //============================================================================== -#include +#include #include #include diff --git a/prism/src/hybrid/PrismHybrid.cc b/prism/src/hybrid/PrismHybrid.cc index ded3eb2b..0b2b0871 100644 --- a/prism/src/hybrid/PrismHybrid.cc +++ b/prism/src/hybrid/PrismHybrid.cc @@ -25,9 +25,9 @@ //============================================================================== #include "PrismHybrid.h" -#include -#include -#include +#include +#include +#include #include #include #include diff --git a/prism/src/jdd/JDD.cc b/prism/src/jdd/JDD.cc index fc13136d..ea3d8a81 100644 --- a/prism/src/jdd/JDD.cc +++ b/prism/src/jdd/JDD.cc @@ -30,7 +30,7 @@ #include "JDDVars.h" #include "jnipointer.h" -#include +#include #include #include #include diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc index 5a7ec1a8..6ae7aec1 100644 --- a/prism/src/mtbdd/PrismMTBDD.cc +++ b/prism/src/mtbdd/PrismMTBDD.cc @@ -25,8 +25,8 @@ //============================================================================== #include "PrismMTBDD.h" -#include -#include +#include +#include #include #include #include diff --git a/prism/src/prism/PrismNative.cc b/prism/src/prism/PrismNative.cc index ba4cb28b..355b7d38 100644 --- a/prism/src/prism/PrismNative.cc +++ b/prism/src/prism/PrismNative.cc @@ -25,9 +25,9 @@ //============================================================================== #include "PrismNative.h" -#include -#include -#include +#include +#include +#include #include #include #include "PrismNativeGlob.h" diff --git a/prism/src/prism/prism.cc b/prism/src/prism/prism.cc index 99956d16..61504cae 100644 --- a/prism/src/prism/prism.cc +++ b/prism/src/prism/prism.cc @@ -27,7 +27,7 @@ // includes #include "prism.h" -#include +#include #include #include #include diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc index f7dfe139..219c1685 100644 --- a/prism/src/sparse/PrismSparse.cc +++ b/prism/src/sparse/PrismSparse.cc @@ -26,9 +26,9 @@ #include "PrismSparse.h" #include "NDSparseMatrix.h" -#include -#include -#include +#include +#include +#include #include #include #include