diff options
Diffstat (limited to 'src/shake.sml')
| -rw-r--r-- | src/shake.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/shake.sml b/src/shake.sml index f679c6e8..bc81def9 100644 --- a/src/shake.sml +++ b/src/shake.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -85,6 +85,12 @@ fun shake file = in (usedE, usedC) end + | ((DView (_, _, _, e, c), _), (usedE, usedC)) => + let + val usedC = usedVarsC usedC c + in + usedVars (usedE, usedC) e + end | ((DTask (e1, e2), _), st) => if !sliceDb then st |