[Specifications] new commits pushed by RubenVerborgh

The following commits were just pushed by RubenVerborgh to 
https://github.com/HydraCG/Specifications:

* Fix typo.
  by Ruben Verborgh
https://github.com/HydraCG/Specifications/commit/098ccec2f12e8b9daf794c517f97ef4bb9b3cdc5

Received on Thursday, 5 January 2017 20:19:28 UTC