From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 26 May 2018 22:56:16 +0000 (-0700)
Subject: Update SymFPU. (#1992)
X-Git-Tag: cvc5-1.0.0~5005
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dfcfa602f44b23e017e1cf866c45986db0556c59;p=cvc5.git

Update SymFPU. (#1992)
---

diff --git a/contrib/get-symfpu b/contrib/get-symfpu
index f48d2d5b4..ed49e3638 100755
--- a/contrib/get-symfpu
+++ b/contrib/get-symfpu
@@ -9,7 +9,7 @@ if [ -e $wdir ]; then
   exit 1
 fi
 
-commit="bdc0ad4cc49b5d590b4d8492199249e392c3368d"
+commit="1273dc9379b36af1461fe04aa453db82408006cf"
 
 mkdir $wdir
 cd $wdir