From f5cf40b721f8bc4c99c8268c70f7fdeedff0f9c0 Mon Sep 17 00:00:00 2001
From: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Wed, 18 Nov 2020 20:55:49 +1100
Subject: [PATCH] Small clarity fix.

---
 src/ast2ram/ProvenanceTranslator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast2ram/ProvenanceTranslator.cpp b/src/ast2ram/ProvenanceTranslator.cpp
index 2ba15b108e8..27888faf800 100644
--- a/src/ast2ram/ProvenanceTranslator.cpp
+++ b/src/ast2ram/ProvenanceTranslator.cpp
@@ -78,7 +78,7 @@ void ProvenanceTranslator::addProvenanceClauseSubroutines(const ast::Program* pr
         relName << clause.getHead()->getQualifiedName();
 
         // do not add subroutines for info relations or facts
-        if (relName.str().find("@info") != std::string::npos || clause.getBodyLiterals().empty()) {
+        if (isPrefix("info", relName.str()) || clause.getBodyLiterals().empty()) {
             return;
         }