projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96b4329) | patch
Added missing includes (algorithm).
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 25 Aug 2017 20:29:04 +0000 (13:29 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Fri, 25 Aug 2017 21:59:10 +0000 (14:59 -0700)
commit378a0c45070ec033493c52e4fa92e6d03b89b6c0
tree967777d0417b43a7176cab270cf0dd6662a94314tree
parent96b4329d58e7d13982e9fdcf458ab98ad0b6c07acommit | diff
Added missing includes (algorithm).

Algorithm was previously removed from src/util/regexp.h which broke
compilation on some platforms.
src/parser/smt1/Smt1.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/tptp/tptp.cpp diff | blob | history