From b3457212d2fb6dc776a7ad6d07516737833034df Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Wed, 25 Feb 2015 17:03:35 -0500
Subject: [PATCH] Fix write-gif function in mrlib

Broke in API changes from commit
5066731b2558f99eb48bf8f51b70475d8f78d8f0
---
 gui-lib/mrlib/gif.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gui-lib/mrlib/gif.rkt b/gui-lib/mrlib/gif.rkt
index 895c7596..7e78a015 100644
--- 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