diff --git a/submodules/cmake-builder b/submodules/cmake-builder index 6c0a6c960..8e4aa7cca 160000 --- a/submodules/cmake-builder +++ b/submodules/cmake-builder @@ -1 +1 @@ -Subproject commit 6c0a6c960369dc2ad5d11531ac502302e0144d65 +Subproject commit 8e4aa7ccab85b9ff33b9c75367278eb9fc93f6e9 diff --git a/submodules/externals/bv16-floatingpoint b/submodules/externals/bv16-floatingpoint index aa1828cab..ad1940bfe 160000 --- a/submodules/externals/bv16-floatingpoint +++ b/submodules/externals/bv16-floatingpoint @@ -1 +1 @@ -Subproject commit aa1828cab91d6c17a74edd293c6c263f20196473 +Subproject commit ad1940bfe33735723cc442f2eb13d281ec2c38c0