Get rid of OrderPair warning
authorbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 08:12:32 +0000 (01:12 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 25 Aug 2017 08:12:49 +0000 (01:12 -0700)
commit9cd058c2fb9e7e9dae580d2d8abb84b97e4bf96a
tree23a4cb6444c6714cfe77a2a341a02de2164dff75
parent7997cc8a8bbee380ba714aa52362374f2aa68ef1
Get rid of OrderPair warning
src/AST/order.h
src/Backend/orderpair.cc
src/Backend/orderpair.h
src/Backend/satorderencoder.cc
src/Backend/sattranslator.cc
src/classlist.h