tmp

Pi-Squared-Inc · Oct 24, 2024 · 798cbb7 · 798cbb7
1 parent 86104b3
commit 798cbb7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ukm-semantics/main/encoding.md b/ukm-semantics/main/encoding.md
@@ -1,7 +1,8 @@
 ```k
 
-requires "encoding/syntax.md"
 requires "encoding/encoder.md"
+requires "encoding/impl.md"
+requires "encoding/syntax.md"
 
 module UKM-ENCODING
     imports private UKM-CALLDATA-ENCODER