From: Jim <jim.pryor@nyu.edu>
Date: Wed, 15 Apr 2015 15:47:10 +0000 (-0400)
Subject: typo in gsv2.ml
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;h=daeb5d67207436ec5179e59098c11fe4b5525685;hp=daeb5d67207436ec5179e59098c11fe4b5525685;p=lambda.git

typo in gsv2.ml
---