From 9700bd9efed5bbe51a8a916769cb943d990fb0a7 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sun, 30 Jan 2022 18:49:14 +0400
Subject: [PATCH] Remove unused include from Option.aes

---
 priv/stdlib/Option.aes | 2 --
 1 file changed, 2 deletions(-)

diff --git a/priv/stdlib/Option.aes b/priv/stdlib/Option.aes
index 45e6594..651a2d5 100644
--- a/priv/stdlib/Option.aes
+++ b/priv/stdlib/Option.aes
@@ -1,5 +1,3 @@
-include "List.aes"
-
 namespace Option =
 
   function is_none(o : option('a)) : bool = switch(o)