first working version

1 files changed, 6 insertions, 6 deletions

diff --git a/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean b/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean
index 8e7dc9f..6cbdaab 100644
--- a/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean
@@ -9,14 +9,14 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverLayerShellV1.destroy
     (ω : RiverLayerShellV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverLayerShellV1.getOutput
     (ω : RiverLayerShellV1)
     (output : RiverOutputV1)
     : DisplayM σ RiverLayerShellOutputV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .object output
     return 1
@@ -25,7 +25,7 @@ def RiverLayerShellV1.getSeat
     (ω : RiverLayerShellV1)
     (seat : RiverSeatV1)
     : DisplayM σ RiverLayerShellSeatV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .object seat
     return 2
@@ -33,19 +33,19 @@ def RiverLayerShellV1.getSeat
 def RiverLayerShellOutputV1.destroy
     (ω : RiverLayerShellOutputV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverLayerShellOutputV1.setDefault
     (ω : RiverLayerShellOutputV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 1
 
 def RiverLayerShellSeatV1.destroy
     (ω : RiverLayerShellSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 end Wayland.Protocols
\ No newline at end of file