Changed return type of setFact from (erroneous) Fact to void.

usethesource · Aug 3, 2024 · f5b3c60 · f5b3c60
1 parent 690d377
commit f5b3c60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/library/util/tasks/Manager.rsc b/src/org/rascalmpl/library/util/tasks/Manager.rsc
@@ -94,7 +94,7 @@ public java void removeFact(Transaction tr, type[&T] key, value name);
 For producing exceptions with stack traces
 }
 @javaClass{org.rascalmpl.library.util.tasks.Manager}
-public java Fact setFact(Transaction tr, type[&T] key, value name, &T val);
+public java void setFact(Transaction tr, type[&T] key, value name, &T val);
 
 @javaClass{org.rascalmpl.library.util.tasks.Manager}
 public java tuple[rel[str,str,str,int],rel[str,str,str]] getDependencyGraph(Transaction tr);