From 85af608db7fc2919052b12c8e60a20a8eb50e5e1 Mon Sep 17 00:00:00 2001
From: William Schultz <william.schultz@mongodb.com>
Date: Sun, 19 Jan 2025 16:06:07 -0500
Subject: [PATCH] Remove image

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 915813c..4d277c7 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 <!-- # TLA<sup>+</sup> Web Explorer -->
 # Spectacle 
-<img src="assets/glasses-svgrepo-com.svg" width="50" height="20" alt="Spectacle logo" style="vertical-align: middle">
+<!-- <img src="assets/glasses-svgrepo-com.svg" width="50" height="20" alt="Spectacle logo" style="vertical-align: middle"> -->
 
 
 Spectacle is an interactive, web-based tool for exploring, visualizing, and sharing formal specifications written in the [TLA<sup>+</sup> specification language](https://lamport.azurewebsites.net/tla/tla.html).  The motivation is to have a better way to quickly interact with a formal specification and easily share results. For example, it provides a way to share protocol behaviors and counterexample traces in a convenient, portable, and repeatable manner.