Remove redundant rule

Pi-Squared-Inc · Sep 25, 2024 · b8d6787 · b8d6787
1 parent 88f63d8
commit b8d6787
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/mx-rust-semantics/main/calls/implementation.md b/mx-rust-semantics/main/calls/implementation.md
@@ -13,8 +13,6 @@ module MX-RUST-CALLS-IMPLEMENTATION
     imports private RUST-REPRESENTATION
     imports private RUST-SHARED-SYNTAX
 
-    rule rustValueToMx(tuple(.ValueList)) => mxUnitValue()
-
     rule (.K => rustValueToMx(V))
         ~> rustValuesToMx((V:Value , L:ValueList => L), _:MxValueList)
     rule (V:MxValue => .K)