Make the demo example use #lang rosette and import fsm.rkt.

emina · Jul 28, 2016 · 10fcb7a · 10fcb7a
1 parent dc2b45f
commit 10fcb7a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/sdsl/fsm/demo.rkt b/sdsl/fsm/demo.rkt
@@ -1,4 +1,6 @@
-#lang s-exp "fsm.rkt"
+#lang rosette
+
+(require "fsm.rkt")
 
 (define m 
   (automaton init