From: Aina Niemetz Date: Mon, 14 Aug 2017 16:56:00 +0000 (-0700) Subject: Merge pull request #214 from CVC4/fix_warn_nonlinear X-Git-Tag: cvc5-1.0.0~5681 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4618986f539c8c0abee1b82105b6ccef513afecf;p=cvc5.git Merge pull request #214 from CVC4/fix_warn_nonlinear Fix compiler warnings in theory/arith/nonlinear_extension.cpp --- 4618986f539c8c0abee1b82105b6ccef513afecf