diff options
Diffstat (limited to 'Test/cloudmake/CloudMake-ConsistentBuilds.dfy')
-rw-r--r-- | Test/cloudmake/CloudMake-ConsistentBuilds.dfy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/cloudmake/CloudMake-ConsistentBuilds.dfy b/Test/cloudmake/CloudMake-ConsistentBuilds.dfy index 9463d8bc..815352f6 100644 --- a/Test/cloudmake/CloudMake-ConsistentBuilds.dfy +++ b/Test/cloudmake/CloudMake-ConsistentBuilds.dfy @@ -334,7 +334,6 @@ datatype Primitive = primCreatePath | primExec datatype Reason = rCompatibility | rValidity | rInconsistentCache
datatype Path = OpaquePath(int) | TransparentPath(int)
-type string(==)
type Artifact
type Identifier
|