Criterion fixes

This commit is contained in:
jamesagnew 2014-05-10 10:22:05 -04:00
parent b937d5c2dc
commit 56a60026df
2 changed files with 2 additions and 2 deletions