Browse Source

Merge pull request #2440 from svaarala/fix-duk-low-rom-build

Fix duk-low-rom build (duplicate YAML key)
pull/2441/head
Sami Vaarala 3 years ago
committed by GitHub
parent
commit
bb0fa588a0
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      util/example_user_builtins1.yaml

1
util/example_user_builtins1.yaml

@ -187,7 +187,6 @@ objects:
value: 123.4 # Interpreted as an IEEE double
attributes: wec
- key: "ieeeDoubleType" # Allows exact specification of IEEE doubles
value:
attributes: wec
value:
type: double

Loading…
Cancel
Save