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

…1283) * haskell-backend/src/main/native/haskell-backend: ce692624 - test/include.mk: `true` is not '/bin/true` (#1813) * haskell-backend/src/main/native/haskell-backend: faff22cc - kore-0.21.0.0 (#1818)
runtimeverification · May 13, 2020 · 33fa1c2 · 33fa1c2
1 parent 05c57d5
commit 33fa1c2
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