changes

isahers1 · May 14, 2022 · 5b97a16 · 5b97a16
1 parent 3c8535a
commit 5b97a16
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc
diff --git a/gui.py b/gui.py
@@ -1,6 +1,6 @@
 from tkinter import PhotoImage
-from tkinter import *
 from tkinter import ttk
+from tkinter import *
 from turtle import undo
 from proof import *
 from tkinter.scrolledtext import ScrolledText

diff --git a/logicObjects.py b/logicObjects.py
@@ -132,7 +132,7 @@ def __repr__(self):
         return str(self.elem) + " ∈ " + str(self.group)
 
     def toLaTeX(self):
-        return str(self.elem) + r" \in " + str(self.grp)
+        return str(self.elem) + r" \in " + str(self.group)
 
 class Eq:
     def __init__(self,LHS,RHS,pg):