ClemsonRSRG/RESOLVE-Workspace — pull request #47 by yushan87 (2014-11-09 22:55:10+00:00)
Title: Changes to Static_Array_Template

Rather than using quantifiers directly in the initialization ensures clause, we create a definition to hide the quantifier.