add murky to remappings (#86)

Co-authored-by: Matheus Cardoso <[email protected]>
risc0 · Mar 22, 2024 · cbd385d · cbd385d
1 parent af0e887
commit cbd385d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/remappings.txt b/remappings.txt
@@ -1,3 +1,4 @@
+murky/=lib/murky/
 murky_differential_testing/=lib/murky/differential_testing/
 forge-std/=lib/forge-std/src/
 openzeppelin/=lib/openzeppelin-contracts/