From f70f187dbf667df5e8610978e928d9ba76af8e0e Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sun, 23 Dec 2018 13:55:46 +0100
Subject: Remove a comment that breaks Isabelle build

With the new comment syntax, Isabelle seems to barf on that comment,
apparently due to the backslashes.
---
 src/gen_lib/sail2_string.lem | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail2_string.lem b/src/gen_lib/sail2_string.lem
index de7588dc..33a665a0 100644
--- a/src/gen_lib/sail2_string.lem
+++ b/src/gen_lib/sail2_string.lem
@@ -64,10 +64,6 @@ let rec n_leading_spaces s =
          | _ -> 0
       end
     else
-      (* match len with
-   *     (\* | 0 -> 0 *\)
-   * (\* | 1 -> *\) 
-   * | len -> *)
            (* Isabelle generation for pattern matching on characters
               is currently broken, so use an if-expression *)
            if nth s 0 = #' '
-- 
cgit v1.2.3