Update dependency: haskell-backend/src/main/native/haskell-backend (r…

…untimeverification#2038) * haskell-backend/src/main/native/haskell-backend: 8585c190 - Add class Substitute (runtimeverification#2702) * haskell-backend/src/main/native/haskell-backend: 4f00fdad5 - Profiles rewrite (runtimeverification#2690)
h0nzZik · Jun 29, 2021 · 4c52ade · 4c52ade
1 parent 2dc9c6e
commit 4c52ade
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend