aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--licentia/source/program/licentia/license/addendum.lux2
-rw-r--r--licentia/source/program/licentia/output.lux16
2 files changed, 9 insertions, 9 deletions
diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux
index fb8be25b6..f5dfb922b 100644
--- a/licentia/source/program/licentia/license/addendum.lux
+++ b/licentia/source/program/licentia/license/addendum.lux
@@ -17,7 +17,7 @@
(def .public (output value)
(-> Addendum Text)
- (`` (format (~~ (with_template [<title> <condition> <content>]
+ (`` (format (,, (with_template [<title> <condition> <content>]
[(if <condition>
($.block ($.section [#$.title <title>
#$.content <content>]))
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index 7645b2cb4..0f05937e2 100644
--- a/licentia/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -47,7 +47,7 @@
(def .public (grant termination)
(-> Termination Text)
- (`` (format (~~ (with_template [<title> <content>]
+ (`` (format (,, (with_template [<title> <content>]
[($.block ($.section [#$.title <title>
#$.content <content>]))]
@@ -69,7 +69,7 @@
(def .public limitation
Text
- (`` (format (~~ (with_template [<title> <content>]
+ (`` (format (,, (with_template [<title> <content>]
[($.block ($.section [#$.title <title>
#$.content <content>]))]
@@ -84,7 +84,7 @@
(def .public assurance
Text
- (`` (format (~~ (with_template [<title> <content>]
+ (`` (format (,, (with_template [<title> <content>]
[($.block ($.section [#$.title <title>
#$.content <content>]))]
@@ -96,7 +96,7 @@
(def .public (liability value)
(-> Liability Text)
- (`` (format (~~ (with_template [<title> <condition> <content>]
+ (`` (format (,, (with_template [<title> <condition> <content>]
[(if <condition>
($.block ($.section [#$.title <title>
#$.content <content>]))
@@ -124,7 +124,7 @@
(def .public (distribution distribution)
(-> Distribution Text)
- (`` (format (~~ (with_template [<title> <condition> <content>]
+ (`` (format (,, (with_template [<title> <condition> <content>]
[(if <condition>
($.block ($.section [#$.title <title>
#$.content <content>]))
@@ -145,7 +145,7 @@
(def .public (commercial value)
(-> Commercial Text)
- (`` (format (~~ (with_template [<title> <condition> <content>]
+ (`` (format (,, (with_template [<title> <condition> <content>]
[(if <condition>
($.block ($.section [#$.title <title>
#$.content <content>]))
@@ -172,7 +172,7 @@
{.#None}
[false ""])]
- (`` (format (~~ (with_template [<condition> <title> <content>]
+ (`` (format (,, (with_template [<condition> <title> <content>]
[(if <condition>
($.block ($.section [#$.title <title>
#$.content <content>]))
@@ -214,7 +214,7 @@
(def .public (miscellaneous identified?)
(-> Bit Text)
- (`` (format (~~ (with_template [<title> <condition> <content>]
+ (`` (format (,, (with_template [<title> <condition> <content>]
[(if <condition>
($.block ($.section [#$.title <title>
#$.content <content>]))