From 8623cdfefea2445db3d4f57ed84fcc6af7cb347f Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 13 Nov 2018 15:31:23 +0000
Subject: add linenoise to .merlin

---
 .merlin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.merlin')

diff --git a/.merlin b/.merlin
index 7d00b00d..a71b2802 100644
--- a/.merlin
+++ b/.merlin
@@ -9,4 +9,4 @@ S src/lem_interp/**
 S src/pprint/**
 S src/test/**
 B src/_build/**
-PKG num str unix uint zarith linksem lem
\ No newline at end of file
+PKG num str unix uint zarith linksem lem linenoise
-- 
cgit v1.2.3