Fix typo, double "of"
authorMiodrag Milanovic <mmicko@gmail.com>
Tue, 16 Jul 2019 09:03:30 +0000 (11:03 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Tue, 16 Jul 2019 09:03:30 +0000 (11:03 +0200)
commit6cce679b35d7eab2b620eed7b8b697d10974307a
treea752a39ee9adce10b7d64818f50b81b7a9a1d582
parent87db41a2bbff1d68ec70056081d5c8a066569b1a
Fix typo, double "of"
frontends/liberty/liberty.cc