From df0e015145981602b3f97113bcfa586b4f6d0757 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 20 Nov 2022 18:55:23 -0400 Subject: Fixed a bug when optimization record access. --- stdlib/source/program/aedifex/artifact/time/time.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/source/program/aedifex/artifact/time/time.lux') diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index f093c7577..0bac9a892 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -33,7 +33,7 @@ [hour (<>.codec n.decimal (.exactly 2 .decimal)) minute (<>.codec n.decimal (.exactly 2 .decimal)) second (<>.codec n.decimal (.exactly 2 .decimal))] - (<>.lifted (time.time + (<>.of_try (time.time [time.#hour hour time.#minute minute time.#second second -- cgit v1.2.3