diff options
author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:00:12 +0200 |
---|---|---|
committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:00:12 +0200 |
commit | 15980cee9713044fe702c687db6a81db96511cf3 (patch) | |
tree | 49f0f9ef0bd45b2dbfd35f0a240eeacf15dba805 /pcr/gringo/uint_max.patch | |
parent | 00b217be93876e0d14b42cdd2e957ff9c4d252af (diff) |
gringo
Diffstat (limited to 'pcr/gringo/uint_max.patch')
-rw-r--r-- | pcr/gringo/uint_max.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/pcr/gringo/uint_max.patch b/pcr/gringo/uint_max.patch new file mode 100644 index 000000000..b554b9361 --- /dev/null +++ b/pcr/gringo/uint_max.patch @@ -0,0 +1,20 @@ +diff -ur gringo-4.3.0-source/app/gringo/main.cc gringo-4.3.0-source-patched/app/gringo/main.cc +--- gringo-4.3.0-source/app/gringo/main.cc 2014-02-20 18:27:32.000000000 +0100 ++++ gringo-4.3.0-source-patched/app/gringo/main.cc 2014-02-25 15:36:41.432512611 +0100 +@@ -34,6 +34,7 @@ + #include <gringo/version.hh> + #include <gringo/control.hh> + #include <iostream> ++#include <limits> + #include <stdexcept> + #include <program_opts/application.h> + #include <program_opts/typed_value.h> +@@ -263,7 +264,7 @@ + + virtual void run() { + using namespace Gringo; +- grOpts_.verbose = verbose() == UINT_MAX; ++ grOpts_.verbose = verbose() == std::numeric_limits<unsigned int>::max(); + Output::OutputPredicates outPreds; + if (grOpts_.text) { + Output::OutputBase out(std::move(outPreds), std::cout, grOpts_.lpRewrite); |