aboutsummaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-05-08 13:27:29 -0500
committerJorge Aparicio <jorge@japaric.io>2017-05-08 13:27:29 -0500
commitacdfa6f09d27fea43926e1d286f13f27a811a203 (patch)
tree62f7a9d762f87c203de9b44722892207d540a8e2 /build.rs
parentc1a0f8173af87c55aa75f1c8a7a3a9b46a624b48 (diff)
drop the Ceiling newtype
it's not required as the user never deal with Ceiling tokens
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/build.rs b/build.rs
index 85fff02..19b1217 100644
--- a/build.rs
+++ b/build.rs
@@ -49,7 +49,7 @@ fn main() {
tokens.push(
quote! {
#[doc = #doc]
- pub type #c = Ceiling<::typenum::#u>;
+ pub type #c = ::typenum::#u;
},
);