Forgotten flags file for test #1691

agda · Oct 18, 2015 · 09fb4ed · 09fb4ed
1 parent dfb02a5
commit 09fb4ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/succeed/Issue1691.flags b/test/succeed/Issue1691.flags
@@ -0,0 +1 @@
+--sharing