From 98961762dae47a785c8869b0670df9b674fb4999 Mon Sep 17 00:00:00 2001
From: Vilem Liepelt <17603372+buggymcbugfix@users.noreply.github.com>
Date: Wed, 8 May 2024 11:02:55 +0200
Subject: [PATCH] Add missing output file

---
 examples/nonDeterminism.gr.output | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 examples/nonDeterminism.gr.output

diff --git a/examples/nonDeterminism.gr.output b/examples/nonDeterminism.gr.output
new file mode 100644
index 000000000..4841526b0
--- /dev/null
+++ b/examples/nonDeterminism.gr.output
@@ -0,0 +1 @@
+Cons 2.0 (Cons -2.0 (Cons -2.0 (Cons 2.0 Nil)))
\ No newline at end of file