From 77a8fca278b561808959fa1aa7d9f02c5cfe7720 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Dec 2006 01:08:19 +0000 Subject: [PATCH] Fix file paths for recursive rmdom --- src/domain.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/domain.sml b/src/domain.sml index 9234c7c..ca2f993 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -684,7 +684,7 @@ fun rmdom dom = loop ({action = Slave.Delete, domain = dom, dir = dname, - file = fname} :: actions) + file = fnameFull} :: actions) end in loop actions -- 2.20.1