✏️Fix typo nuXmv

se-buw · Dec 28, 2023 · 278cf9b · 278cf9b
1 parent 6cb90b3
commit 278cf9b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/frontend/src/components/Playground/Playground.jsx b/frontend/src/components/Playground/Playground.jsx
@@ -412,7 +412,7 @@ const Playground = ({ editorValue, setEditorValue, language, setLanguage }) => {
                   style={{ cursor: 'pointer', textDecoration: 'underline' }}
                   role='button'
                   onClick={() => setIsNuxmvModalOpen(true)}>
-                  Nuxmv Copyright Notice
+                  nuXmv Copyright Notice
                 </a>
                 {/* Render the modal conditionally */}
                 {isNuxmvModalOpen && (

diff --git a/frontend/src/components/Utils/Modals/NuxmvCopyrightNotice.jsx b/frontend/src/components/Utils/Modals/NuxmvCopyrightNotice.jsx
@@ -37,7 +37,7 @@ const NuxmvCopyrightNotice = ({
         <MDBModalDialog>
           <MDBModalContent>
             <MDBModalHeader>
-              <MDBModalTitle>Nuxmv Copyright Notice</MDBModalTitle>
+              <MDBModalTitle>nuXmv Copyright Notice</MDBModalTitle>
               <MDBBtn
                 className="btn-close"
                 color="none"