first working version

1 files changed, 10 insertions, 10 deletions

diff --git a/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean b/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
index 691e32e..b224fbb 100644
--- a/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
@@ -9,7 +9,7 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverXkbBindingsV1.destroy
     (ω : RiverXkbBindingsV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbBindingsV1.getXkbBinding
@@ -18,7 +18,7 @@ def RiverXkbBindingsV1.getXkbBinding
     (keysym : UInt32)
     (modifiers : RiverSeatV1.Modifiers)
     : DisplayM σ RiverXkbBindingV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     Marshallable.marshal .object seat
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint keysym
@@ -29,7 +29,7 @@ def RiverXkbBindingsV1.getSeat
     (ω : RiverXkbBindingsV1)
     (seat : RiverSeatV1)
     : DisplayM σ RiverXkbBindingsSeatV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .object seat
     return 2
@@ -37,45 +37,45 @@ def RiverXkbBindingsV1.getSeat
 def RiverXkbBindingV1.destroy
     (ω : RiverXkbBindingV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbBindingV1.setLayoutOverride
     (ω : RiverXkbBindingV1)
     (layout : UInt32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .uint layout
     return 1
 
 def RiverXkbBindingV1.enable
     (ω : RiverXkbBindingV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 2
 
 def RiverXkbBindingV1.disable
     (ω : RiverXkbBindingV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 3
 
 def RiverXkbBindingsSeatV1.destroy
     (ω : RiverXkbBindingsSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbBindingsSeatV1.ensureNextKeyEaten
     (ω : RiverXkbBindingsSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 1
 
 def RiverXkbBindingsSeatV1.cancelEnsureNextKeyEaten
     (ω : RiverXkbBindingsSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 2
 
 end Wayland.Protocols
\ No newline at end of file