projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b25c979)
Update SymFPU. (#1992)
authorMathias Preiner <mathias.preiner@gmail.com>
Sat, 26 May 2018 22:56:16 +0000 (15:56 -0700)
committerGitHub <noreply@github.com>
Sat, 26 May 2018 22:56:16 +0000 (15:56 -0700)
contrib/get-symfpu patch | blob | history

diff --git a/contrib/get-symfpu b/contrib/get-symfpu
index f48d2d5b4d4a31a3fbb6f911cfced304b47442e3..ed49e3638c2eb4d0594a887e28ffcde4adc49ea4 100755 (executable)
--- 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