1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java
index 7aaa6da7..d570211c 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java
@@ -51,6 +51,6 @@ public record ComputedConstraint(PartialRelation partialRelation) implements Con
         }
 
         private String formatName(String constraintName) {
-                return constraintName + "$";
+                return "@Computed " + constraintName;
         }
 }