Skip to content

Commit b9d88da

Browse files
committed
remove type label
1 parent b02b9b0 commit b9d88da

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/axiomatic/pic_helpers.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -368,7 +368,7 @@ def print_statements(
368368
else:
369369
holds_tag = ''
370370
html_parts.append(f'<div class="block {holds_tag}">')
371-
html_parts.append(f"<h2>Type: {struct_stmt.type}</h2>")
371+
html_parts.append(f"<h2>{struct_stmt.type}</h2>")
372372
html_parts.append(f'<p><span class="label ">Statement:</span> {struct_stmt.text}</p>')
373373
if struct_stmt.formalization is None:
374374
html_parts.append("UNFORMALIZED")
@@ -392,7 +392,7 @@ def print_statements(
392392
if not only_formalized:
393393
for unf_stmt in statements.unformalizable_statements or []:
394394
html_parts.append('<div class="block not-hold">')
395-
html_parts.append(f"<h2>Type: {unf_stmt.type}</h2>")
395+
html_parts.append(f"<h2>{unf_stmt.type}</h2>")
396396
html_parts.append(f'<p><span class="label">Statement:</span> {unf_stmt.text}</p>')
397397
# html_parts.append('<p><span class="label">Formalization:</span> UNFORMALIZABLE</p>')
398398
html_parts.append("</div>")

0 commit comments

Comments
 (0)