]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8abae19) | patch
Specify default arguments only when compiling C++.
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 1 Apr 2010 20:01:52 +0000 (20:01 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 1 Apr 2010 20:01:52 +0000 (20:01 +0000)
commitcf471108652e11af1ad34adcfd83ba2142fd2a1a
tree6bad8067bc758214cb1b8d6d536a86bbc028b6c2tree | snapshot
parent8abae190146bc67dad95e2c627d127584bab39abcommit | diff
Specify default arguments only when compiling C++.
Patch from Peter Collingbourne.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@661 e59a4935-1847-0410-ae03-e826735625c1
src/c_interface/c_interface.h diff | blob | history
STP Constraint Solver.