From 4f366726c6dc8b7820b96d1b7d72b81b5d81774c Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 30 Nov 2017 01:53:43 +0000
Subject: [PATCH] merge

---
 {H => include}/YapTerm.h | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {H => include}/YapTerm.h (100%)

diff --git a/H/YapTerm.h b/include/YapTerm.h
similarity index 100%
rename from H/YapTerm.h
rename to include/YapTerm.h