Skip to content

Commit

Permalink
Remove unused import
Browse files Browse the repository at this point in the history
  • Loading branch information
Elscrux committed Jan 23, 2024
1 parent 2f5b411 commit de8cfb8
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions src/components/solvers/SAT/TextArea.tsx
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
import { Box } from "@chakra-ui/react";
import { highlight } from "prismjs";
import "prismjs/themes/prism-solarizedlight.css"; //TODO: use custom styling
import React from "react";
import Editor from "react-simple-code-editor";
import { highlight } from "prismjs";
import { Box, Container } from "@chakra-ui/react";
import { SAT_language } from "./prism-SAT";

interface TextAreaProps {
Expand Down

0 comments on commit de8cfb8

Please sign in to comment.