fix: use by rfl instead of rfl to bypass new compiler bug#968
Closed
Shreyas4991 wants to merge 1 commit intoleanprover-community:mainfrom Shreyas4991:bug-fix-rfl-use-vectors
+1-1
by rfl instead of rfl to bypass new compiler bug#968