projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c19c4c) | patch
chase-lev-dequeue: fix compiler warning
authorBrian Norris <banorris@uci.edu>
Tue, 28 May 2013 17:47:32 +0000 (10:47 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 28 May 2013 17:47:32 +0000 (10:47 -0700)
commita3b1bb7758e8213a6a9972311664d98ca17b1ecf
tree879e31d5981b0721dbe3a46e57d5117310dd4676tree | snapshot
parent8c19c4c22a76ba53d7eff91102a489bb44c805d7commit | diff
chase-lev-dequeue: fix compiler warning

Fix this warning, found when compiling with GCC's C1x support:

  main.c: In function ‘task’:
  main.c:17:2: warning: implicit declaration of function ‘steal’ [-Wimplicit-function-declaration]
chase-lev-deque/deque.h diff | blob | history
C++11 memory model checker benchmarks