mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-17 08:42:15 +00:00
Code Activity

Wnewline-eof

Browse source
This commit is contained in:
Daniel J. Hofmann 2015-04-03 19:31:09 +02:00
parent 6150083276
commit 88f6e74a27
5 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tactic/sls/sls_evaluator.h
View file

@ -812,4 +812,4 @@ public:
}
};
#endif
#endif

2
src/tactic/sls/sls_powers.h
View file

@ -46,4 +46,4 @@ public:
}
};
#endif
#endif