From 2cf6c0133bb373ee91da63df8c57f00a50500913 Mon Sep 17 00:00:00 2001
From: Geoffroy Couprie <geo.couprie@gmail.com>
Date: Wed, 1 May 2024 14:24:33 +0200
Subject: [PATCH] Update
 src/main/java/org/biscuitsec/biscuit/datalog/SymbolTable.java
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Aurélien Mino <155828+murdos@users.noreply.github.com>
---
 src/main/java/org/biscuitsec/biscuit/datalog/SymbolTable.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/org/biscuitsec/biscuit/datalog/SymbolTable.java b/src/main/java/org/biscuitsec/biscuit/datalog/SymbolTable.java
index 9034d783..0216b29d 100644
--- a/src/main/java/org/biscuitsec/biscuit/datalog/SymbolTable.java
+++ b/src/main/java/org/biscuitsec/biscuit/datalog/SymbolTable.java
@@ -264,7 +264,6 @@ public SymbolTable(SymbolTable s) {
 
     public SymbolTable(List<String> symbols) {
         this.symbols = new ArrayList<>(symbols);
-        this.symbols.addAll(symbols);
         this.publicKeys = new ArrayList<>();
     }