move gsv.ml to gsv-jim.ml

[lambda.git] / code / gsv-jim.ml

diff --git a/code/gsv.ml b/code/gsv-jim.ml
similarity index 100%
rename from code/gsv.ml
rename to code/gsv-jim.ml