From b210399ee16259ec9907aa30586cc97c9c249206 Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Fri, 21 Aug 2020 09:08:45 -0700 Subject: [PATCH] Update saw-core submodule. This incorporates GaloisInc/saw-core#70, which suppresses the defaulting warning messages upon loading cryptol modules. Fixes #768. --- deps/saw-core | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/saw-core b/deps/saw-core index bd853c8b91..97e08f3317 160000 --- a/deps/saw-core +++ b/deps/saw-core @@ -1 +1 @@ -Subproject commit bd853c8b9134bc47849265ed85f7fec82862ff9e +Subproject commit 97e08f331719efb4210876f15c7e89f07b8f8fcd