diff --git a/de.prob.core/src/de/prob/eventb/translator/Theories.java b/de.prob.core/src/de/prob/eventb/translator/Theories.java
index 6df44f117225864244400300460dc54c11e3123d..fef28e07e011f4c95383f1ee328adb34ba59fbaf 100644
--- a/de.prob.core/src/de/prob/eventb/translator/Theories.java
+++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java
@@ -245,15 +245,8 @@ public class Theories {
 	private static void printMappings(Collection<OperatorMapping> mappings,
 			IPrologTermOutput pto) {
 		pto.openList();
-		// Currently, we support only one kind of operator mapping, just tagging
-		// an operator to indicate that an optimized ProB implementation should
-		// be used. We do not invest any effort in preparing future kinds of
-		// other operator mappings.
 		for (OperatorMapping mapping : mappings) {
-			pto.openTerm("tag");
-			pto.printAtom(mapping.getOperatorName());
-			pto.printAtom(mapping.getSpec());
-			pto.closeTerm();
+			mapping.printProlog(pto);
 		}
 		pto.closeList();
 	}