canonical url changed

Author: rfindler

redex-test/redex/tests/ryr-test.rkt

@@ -7,7 +7,7 @@
 
 (define tmp-dir (make-temporary-file "ryr-test-~a" 'directory))
 (current-directory tmp-dir)
-(define models-url "http://users.cs.northwestern.edu/~robby/lightweight-metatheory/models.tar.gz")
+(define models-url "https://users.cs.northwestern.edu/~robby/lightweight-metatheory/models.tar.gz")
 (printf "downloading ~a\n   to ~a\n" models-url tmp-dir)
 (call-with-output-file "models.tar.gz"
   (λ (out-port)