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