From 453bab8d643e21ddbb5dbb39bdc74428768deeda Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Dec 2023 15:43:03 -0800
Subject: [PATCH] add note about pvar_queue.h

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/polysat/pvar_queue.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/math/polysat/pvar_queue.h b/src/math/polysat/pvar_queue.h
index dfb080d13..259ef6036 100644
--- a/src/math/polysat/pvar_queue.h
+++ b/src/math/polysat/pvar_queue.h
@@ -15,6 +15,8 @@ Author:
 
 Revision History:
 
+NSB: I made util/var_queue.h a template. You can feed it a struct comprising of size/activity.
+
 --*/
 #pragma once