From 5766e2c2c9047ab96ec698b8705244c415baa85d Mon Sep 17 00:00:00 2001 From: Ghislain MARY Date: Wed, 15 Jun 2016 11:17:59 +0200 Subject: [PATCH] Update bv16-floatingpoint submodule. --- submodules/externals/bv16-floatingpoint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/externals/bv16-floatingpoint b/submodules/externals/bv16-floatingpoint index 6899f2759..aa1828cab 160000 --- a/submodules/externals/bv16-floatingpoint +++ b/submodules/externals/bv16-floatingpoint @@ -1 +1 @@ -Subproject commit 6899f2759c7b19d5402335d3a937c53020abfeca +Subproject commit aa1828cab91d6c17a74edd293c6c263f20196473