From 777ff19dcd960d3c870c04ad96092e56d8fd0e91 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Sat, 19 Aug 2017 12:13:13 +0200 Subject: [PATCH] Michelson: remove a spurious rule This should have been removed when floats were removed from the language. --- src/proto/alpha/docs/language.md | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md index a28a44ddb..7216b6680 100644 --- a/src/proto/alpha/docs/language.md +++ b/src/proto/alpha/docs/language.md @@ -926,14 +926,6 @@ Timestamp immediates can be obtained by the `NOW` operation, or retrieved from script parameters or globals. The only valid operations are the addition of a (positive) number of seconds and the comparison. - * `ADD` - Increment / decrement a timestamp of the given number of seconds. - - :: timestamp : float : 'S -> timestamp : 'S - - > ADD ; C / t : period : S => [FAIL] iff period < 0 - > ADD ; C / t : period : S => C / (t + period seconds) : S - * `ADD` Increment / decrement a timestamp of the given number of seconds.