some mis cleanusp

aosabook · Apr 30, 2014 · 11e2c28 · 11e2c28
1 parent 8950854
commit 11e2c28
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/same-origin-policy/src/http.als b/same-origin-policy/src/http.als
@@ -1,11 +1,12 @@
 /**
-	* http.als
-	*   A model of the Hypertext Transfer Protocol.
-	*/
+   *  http.als
+   *    A model of the Hypertext Transfer Protocol.
+   */
 module http
 
 open event
 
+
 -- TODO: Hos t->Domain
 sig Protocol, Host, Port, Path {}
 
@@ -46,10 +47,7 @@ abstract sig Server {
     paths : set Path, -- paths mapped by this server
 	responses : paths -> (Resource + Cookie)
 }{
-	// C1
-   all req : HttpRequest & to.this {
-	 req.ret_body + req.ret_set_cookies in responses[req.url.path]
-    }
+   all r : HttpRequest & to.this | r.ret_body + r.ret_set_cookies in responses[r.url.path]  // C1
 }
 
 abstract sig Resource {}