From d8a06f70d323cd7f53b74ef83e02cc7cad969b52 Mon Sep 17 00:00:00 2001
From: kry127 <kry127@yandex.ru>
Date: Tue, 20 Oct 2020 19:07:17 +0300
Subject: [PATCH] Remove unused 'fix' operator in Driver.ml

---
 src/Driver.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Driver.ml b/src/Driver.ml
index cea23fb86..8b1322555 100644
--- a/src/Driver.ml
+++ b/src/Driver.ml
@@ -38,7 +38,6 @@ exception Commandline_error of string
   
 class options args =
   let n = Array.length args in
-  let rec fix f = f (fix f) in
   let dump_ast  = 1 in
   let dump_sm   = 2 in
   let help_string =