From bba878651c459b4863ae907784270070e0048e51 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 2 May 2012 08:56:19 -0400 Subject: Don't modify the module cache after elaboration failures --- tests/baddep.urp | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tests/baddep.urp (limited to 'tests/baddep.urp') diff --git a/tests/baddep.urp b/tests/baddep.urp new file mode 100644 index 00000000..0e65b25d --- /dev/null +++ b/tests/baddep.urp @@ -0,0 +1,2 @@ +baddep1 +baddep2 -- cgit v1.2.3