From f0ee1568dce2315018fe455f696911ac6cb65afc Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 8 Jun 2009 13:04:29 +0000
Subject: [PATCH] added META for ng_paramodulation

---
 helm/software/configure.ac | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/software/configure.ac b/helm/software/configure.ac
index 8b3437393..107ff2d16 100644
--- a/helm/software/configure.ac
+++ b/helm/software/configure.ac
@@ -85,6 +85,7 @@ helm-acic_procedural \
 helm-content_pres \
 helm-hgdome \
 helm-tactics \
+helm-ng_paramodulation \
 helm-ng_tactics \
 helm-cic_exportation \
 "
-- 
2.39.2