Fix write-gif function in mrlib

Broke in API changes from commit 5066731b25
2015-02-25 17:03:35 -05:00 · 2015-02-25 17:03:35 -05:00 · b3457212d2
commit b3457212d2
parent cf6a3d6ecb
1 changed files with 1 additions and 1 deletions
--- a/gui-lib/mrlib/gif.rkt
+++ b/gui-lib/mrlib/gif.rkt
@ -75,7 +75,7 @@
                 (gif-end gif)))))))))

 (define (write-gif bm filename)
-  (write-gifs (list bm) #f filename #f #f #f))
+  (write-gifs (list bm) #f filename #f #f #f 'any))

 (provide/contract
 [write-animated-gif