Warn on use of operation:merge
Change-Id: Ib3764ebcff3222aa0bd18e28e6c3e1ff862bb170
diff --git a/src/main/java/de/ids_mannheim/korap/KrillQuery.java b/src/main/java/de/ids_mannheim/korap/KrillQuery.java
index 45f1dda..3cfd7ee 100644
--- a/src/main/java/de/ids_mannheim/korap/KrillQuery.java
+++ b/src/main/java/de/ids_mannheim/korap/KrillQuery.java
@@ -442,6 +442,11 @@
/*throw new QueryException(765,
"Relations are currently not supported");*/
+ // Gracefully warn on merge support
+ case "operation:merge":
+ this.addWarning(774, "Merge operation is currently not supported");
+ return _fromKoral(operands.get(0));
+
// Deprecated in favor of operation:junction
case "operation:or":
return this._operationJunctionFromJson(operands);