summaryrefslogtreecommitdiff
path: root/tests/blob.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-08-08 13:53:17 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-08-08 13:53:17 -0400
commit3bcc7ed859aecb758742b0cf23cae98214938012 (patch)
tree46073db802bf4240c2d7336e4d0ef13a864e66d6 /tests/blob.urs
parent8bd305270a83f8794859108b3e8eb200971a7521 (diff)
Remove a check that was actually always passing because it was on the wrong object; this helps explain why the last change was necessary
Diffstat (limited to 'tests/blob.urs')
0 files changed, 0 insertions, 0 deletions