Update submodules.

GaloisInc · Mar 3, 2021 · a1b8569 · a1b8569
1 parent bae01f6
commit a1b8569
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git a/deps/flexdis86 b/deps/flexdis86
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
diff --git a/deps/parameterized-utils b/deps/parameterized-utils