OSDN Git Service

Merge pull request #2485 from gliptak/patch-2
authorRiyad Preukschas <riyad@informatik.uni-bremen.de>
Mon, 7 Jan 2013 17:41:27 +0000 (09:41 -0800)
committerRiyad Preukschas <riyad@informatik.uni-bremen.de>
Mon, 7 Jan 2013 17:41:27 +0000 (09:41 -0800)
Renaming check function from 1056 to 1059


Trivial merge