From 824931de973b4179417d31152fba7d70283c3ca2 Mon Sep 17 00:00:00 2001
From: Ostrzyciel <ostrzycielnozyczek@gmail.com>
Date: Sat, 16 Sep 2023 09:06:28 +0200
Subject: [PATCH] Add rdf_star stream option

https://github.com/Jelly-RDF/jelly-jvm/issues/26
---
 rdf.proto | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/rdf.proto b/rdf.proto
index d05f458..32da7ce 100644
--- a/rdf.proto
+++ b/rdf.proto
@@ -100,6 +100,8 @@ message RdfStreamOptions {
   bool generalized_statements = 3;
   // Whether RdfRepeat will be used
   bool use_repeat = 4;
+  // Whether the stream may contain RDF-star statements
+  bool rdf_star = 5;
   // Prefix tables
   uint32 max_name_table_size = 9;
   uint32 max_prefix_table_size = 10;