]> www.ginac.de Git - ginac.git/blobdiff - check/main.cpp
- switched to automake build environment
[ginac.git] / check / main.cpp
index 787f92080eae1875c79c0c556d339110ac1bb900..4cf44c6d680fa7201dddd7725a2b8b1a4a2ba49d 100644 (file)
@@ -1,7 +1,7 @@
 // check/main.cpp
 
 #include <stdexcept>
-#include <GiNaC/ginac.h>
+#include <ginac/ginac.h>
 #include "check.h"
 
 int main()
@@ -25,6 +25,7 @@ int main()
         }
     } catch (exception const & e) {
         cout << "error: caught an exception: " << e.what() << endl;
+               result++;
     }
     
     if (result) {