diff options
| author | Nadrieril | 2020-06-25 12:46:02 +0100 |
|---|---|---|
| committer | GitHub | 2020-06-25 12:46:02 +0100 |
| commit | b6efa8dd926cf2d136e3040987d81cdd1934a0fa (patch) | |
| tree | 65b6cc777daa0f6d9aa2f5fd0334c5bb1c2106c6 /dhall/src/lib.rs | |
| parent | 3d9c0b12c6b34185e556071ee16401691bfd8e49 (diff) | |
| parent | 73efcaada6032640da6caaed266cd6457a5f6966 (diff) | |
Merge pull request #170 from Nadrieril/custom-harness
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 73f0b74..bda31d5 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -8,8 +8,6 @@ clippy::useless_format )] -mod tests; - pub mod builtins; pub mod error; pub mod operations; |