fix markdown files

anoma · Oct 11, 2024 · bfd7b50 · bfd7b50
1 parent 0357ebc
commit bfd7b50
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/tests/positive/MarkdownImport/B.juvix.md b/tests/positive/MarkdownImport/B.juvix.md
@@ -1,3 +1,5 @@
+```juvix
 module B;
 
 axiom D : Type;
+```
diff --git a/tests/positive/MarkdownImport/C.juvix.md b/tests/positive/MarkdownImport/C.juvix.md
@@ -1,7 +1,15 @@
+# This is a Juvix code block
+
+```juvix
 module C;
 
 import B open;
 
 axiom aa : D;
+```
+
+Text in between code blocks
 
+```juvix
 axiom b : D;
+```