From 66da5f4b5cece788ead2c92bd70c4b1560c1c490 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 21 Jan 2017 17:56:13 +0100 Subject: [PATCH] Minor fix to Merlin improvements. --- compiler/.merlin | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/compiler/.merlin b/compiler/.merlin index 409f7d8..8c41ec2 100644 --- a/compiler/.merlin +++ b/compiler/.merlin @@ -16,6 +16,10 @@ B _build/obc/c B _build/obc/java B _build/obc/main B _build/obc/transformations +B _build/utilities +B _build/utilities/ctrln +B _build/utilities/global +B _build/utilities/minils S global S heptagon S heptagon/analysis