From 4c712104db3a178fd8316a2bb36f2f241f249d2d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 29 Jun 2017 18:34:51 +0100
Subject: Created prelude.sail for initial typing environment

Other things:

* Cleaned up several files a bit

* Fixed a bug in the parser where (deinfix |) got parsed as (definfix ||)

* Turned of the irritating auto-indent in sail-mode.el
---
 src/parse_ast.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index cfb09bf5..8b52b2ab 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -419,7 +419,7 @@ val_spec_aux =  (* Value type specification *)
  | VS_extern_no_rename of typschm * id
  | VS_extern_spec of typschm * id * string
  | VS_cast_spec of typschm * id
-                                      
+
 
 type 
 kind_def_aux =  (* Definition body for elements of kind; many are shorthands for type\_defs *)
-- 
cgit v1.2.3