docs: correct comment

anoma · Oct 14, 2024 · d3e38f2 · d3e38f2
1 parent 0e61dfa
commit d3e38f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Anoma/Proving/Types.juvix b/Anoma/Proving/Types.juvix
@@ -117,7 +117,7 @@ module ResourceLogic;
     };
 
   module TagInternal;
-    --- Compares two ;CustomInputs; objects.
+    --- Compares two ;Tag; objects.
     --- Lexicographical ordering with `Created _ < Consumed _`.
     compare (lhs rhs : Tag) : Ordering :=
       case lhs, rhs of