Generate not-broken tex for theory.

viklauverk · Jul 10, 2024 · 6f1edb6 · 6f1edb6
1 parent 414a7ce
commit 6f1edb6
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 8 deletions.
diff --git a/src/main/java/com/viklauverk/eventbtools/core/RenderMachine.java b/src/main/java/com/viklauverk/eventbtools/core/RenderMachine.java
@@ -1,5 +1,5 @@
 /*
- Copyright (C) 2021 Viklauverk AB
+ Copyright (C) 2021-2024 Viklauverk AB
 
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU Affero General Public License as published by

diff --git a/src/main/java/com/viklauverk/eventbtools/core/RenderMachineTeX.java b/src/main/java/com/viklauverk/eventbtools/core/RenderMachineTeX.java
@@ -1,6 +1,6 @@
 /*
  Copyright (C) 2021 Viklauverk AB
- 
+
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU Affero General Public License as published by
  the Free Software Foundation, either version 3 of the License, or

diff --git a/src/main/java/com/viklauverk/eventbtools/core/RenderMachineUnicode.java b/src/main/java/com/viklauverk/eventbtools/core/RenderMachineUnicode.java
@@ -1,6 +1,6 @@
 /*
- Copyright (C) 2021 Viklauverk AB
- 
+ Copyright (C) 2021-2024 Viklauverk AB
+
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU Affero General Public License as published by
  the Free Software Foundation, either version 3 of the License, or

diff --git a/src/main/java/com/viklauverk/eventbtools/core/RenderTheoryTeX.java b/src/main/java/com/viklauverk/eventbtools/core/RenderTheoryTeX.java
@@ -92,11 +92,8 @@ public void visit_PolymorphicDataTypesStart(Theory thr)
             cnvs().append(" ");
         }
         cnvs().append("}\n");
+        super.visit_PolymorphicDataTypesStart(thr);
     }
 
-    @Override
-    public void visit_PolymorphicDataTypesEnd(Theory thr)
-    {
-    }
 
 }