From 08a7d0de5e844ae8ad2d7027a4da87df054b2a28 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Nov 2014 16:31:03 +0000
Subject: stop using LEMLIB in makefile, in case that's interfering with lem
 library placement, switch to LEMLIBOCAML

---
 src/lem_interp/pretty_interp.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml
index 6a72526a..b201723a 100644
--- a/src/lem_interp/pretty_interp.ml
+++ b/src/lem_interp/pretty_interp.ml
@@ -332,7 +332,10 @@ let doc_exp, doc_let =
   | E_nondet exps ->
     let exps_doc = separate_map (semi ^^ hardline) (exp env) exps in
     string "nondet" ^^ space ^^ (surround 2 1 lbrace exps_doc rbrace)
-  | E_id id -> (*TODO, use env here*) doc_id id
+  | E_id id -> 
+    (match id with
+      | Id_aux(Id("0"), _) -> (*The evaluation context hole*) doc_id id
+      | _ -> doc_id id)
   | E_lit lit -> doc_lit lit
   | E_cast(typ,e) ->
       if !ignore_casts then
-- 
cgit v1.2.3