diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
index 65424a65f57e25c7e2dfc09b713af4d0fcde1819..01176ac53f0bff8a88529d0643a6b30a091afb95 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
@@ -155,6 +155,11 @@ public class ExportPOsHandler extends AbstractHandler implements IHandler {
 		pto.closeTerm();
 		pto.fullstop();
 
+		pto.openTerm("project_name");
+		pto.printAtom(poRoot.getRodinProject().getElementName());
+		pto.closeTerm();
+		pto.fullstop();
+
 		pto.openTerm("machine_name");
 		pto.printAtom(poRoot.getElementName());
 		pto.closeTerm();