diff options
| author | Sergei Trofimovich <slyich@gmail.com> | 2024-02-09 22:43:16 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyich@gmail.com> | 2024-02-09 22:43:16 +0000 |
| commit | b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9 (patch) | |
| tree | 2cefe87e0f6d21d4b255623335588a6b1ec98bb5 /pkgs/applications/science/logic/klee | |
| parent | 442d407992384ed9c0e6d352de75b69079904e4e (diff) | |
| download | nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.gz nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.bz2 nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.lz nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.xz nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.tar.zst nixlib-b531de72bf787ff17c2b8eb4df75cfdf46dfd0c9.zip | |
stp: fix the build against `gcc-13`
Without the change the build fails on `master` as
https://hydra.nixos.org/build/247636021:
/build/source/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type
77 | uint8_t getIteration() const;
| ^~~~~~~
Diffstat (limited to 'pkgs/applications/science/logic/klee')
0 files changed, 0 insertions, 0 deletions