1 files changed, 10 insertions, 10 deletions
diff --git a/lib/Wayland/Protocols/RiverInputManagementV1/Requests.lean b/lib/Wayland/Protocols/RiverInputManagementV1/Requests.lean
index 3c9c44e..d20182e 100644
--- a/lib/Wayland/Protocols/RiverInputManagementV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverInputManagementV1/Requests.lean
@@ -9,20 +9,20 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverInputManagerV1.stop
     (ω : RiverInputManagerV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 0
 
 def RiverInputManagerV1.destroy
     (ω : RiverInputManagerV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 1
 
 def RiverInputManagerV1.createSeat
     (ω : RiverInputManagerV1)
     (name : String)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .string name
     return 2
 
@@ -30,21 +30,21 @@ def RiverInputManagerV1.destroySeat
     (ω : RiverInputManagerV1)
     (name : String)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .string name
     return 3
 
 def RiverInputDeviceV1.destroy
     (ω : RiverInputDeviceV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverInputDeviceV1.assignToSeat
     (ω : RiverInputDeviceV1)
     (name : String)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .string name
     return 1
 
@@ -53,7 +53,7 @@ def RiverInputDeviceV1.setRepeatInfo
     (rate : Int32)
     (delay : Int32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .int rate
     Marshallable.marshal .int delay
     return 2
@@ -62,7 +62,7 @@ def RiverInputDeviceV1.setScrollFactor
     (ω : RiverInputDeviceV1)
     (factor : Float32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .fixed factor
     return 3
 
@@ -70,7 +70,7 @@ def RiverInputDeviceV1.mapToOutput
     (ω : RiverInputDeviceV1)
     (output : Option WlOutput)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .object output
     return 4
 
@@ -81,7 +81,7 @@ def RiverInputDeviceV1.mapToRectangle
     (width : Int32)
     (height : Int32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .int x
     Marshallable.marshal .int y
     Marshallable.marshal .int width