Fixed small error introduced in last pull request

Branch: robin0van0der0vliet/reasonator-1:robin0van0der0vliet/fixed-small-error-introduced-in-last-pul-1525979880364

Branch: magnusmanske/reasonator:master

Merged

#15 · Created 2018-05-10 · Last updated 2018-05-11

Merged pull request

Merged in robin0van0der0vliet/reasonator-1/robin0van0der0vliet/fixed-small-error-introduced-in-last-pul-1525979880364 (pull request #15)

b3b573a·Author: Robin van der Vliet·Closed by: Magnus Manske·2018-05-11

Fixed small error introduced in last pull request