Remove sats file

jats-ug · Jun 23, 2014 · 4db255a · 4db255a
1 parent 5a7437e
commit 4db255a
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/globalstate-simple/Makefile b/globalstate-simple/Makefile
@@ -20,7 +20,7 @@ PROGNAME=globalstate-simple
 all::
 
 all:: $(PROGNAME)
-$(PROGNAME): $(PROGNAME).dats $(PROGNAME).sats; \
+$(PROGNAME): $(PROGNAME).dats; \
   $(PATSCC) -D_GNU_SOURCE $(CFLAGS) -o $@ $<
 regress:: $(PROGNAME) ; ./$(PROGNAME)
 

diff --git a/globalstate-simple/globalstate-simple.dats b/globalstate-simple/globalstate-simple.dats
@@ -2,7 +2,6 @@
 #include "share/atspre_staload.hats"
 
 staload UN = "prelude/SATS/unsafe.sats"
-staload "globalstate-simple.sats"
 
 // Global value: macaddr
 typedef struct_macaddr = @[int][6]

diff --git a/globalstate-simple/globalstate-simple.sats b/globalstate-simple/globalstate-simple.sats