From ca1305a0187653edcf63e46b84c65130ac78d117 Mon Sep 17 00:00:00 2001
From: Frédéric Besson <frederic.besson@inria.fr>
Date: Fri, 20 Dec 2013 01:22:45 +0100
Subject: micromega: removal of spurious Export; addition of Lia.v
 encapsulating lia and nia.

---
 plugins/micromega/vo.itarget | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/micromega/vo.itarget')

diff --git a/plugins/micromega/vo.itarget b/plugins/micromega/vo.itarget
index fb75bf20c..bf6a1a7db 100644
--- a/plugins/micromega/vo.itarget
+++ b/plugins/micromega/vo.itarget
@@ -10,3 +10,4 @@ Tauto.vo
 VarMap.vo
 ZCoeff.vo
 ZMicromega.vo
+Lia.vo
\ No newline at end of file
-- 
cgit v1.2.3