From 550a5b7b6b903be2691eb2e188e715ca121db2fb Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 5 Jan 2023 16:04:07 +0100
Subject: [PATCH] Update license

---
 passes/sat/synthprop.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/passes/sat/synthprop.cc b/passes/sat/synthprop.cc
index 5dd1fefdf45..25416b6c4c3 100644
--- a/passes/sat/synthprop.cc
+++ b/passes/sat/synthprop.cc
@@ -1,7 +1,9 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2022  Miodrag Milanovic <micko@yosyshq.com>
+ *  Copyright (C) 2023  Miodrag Milanovic <micko@yosyshq.com>
+ *  Copyright (C) 2023
+ *        National Technology & Engineering Solutions of Sandia, LLC (NTESS)
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above